summaryrefslogtreecommitdiff
path: root/play.js
diff options
context:
space:
mode:
Diffstat (limited to 'play.js')
-rw-r--r--play.js21
1 files changed, 20 insertions, 1 deletions
diff --git a/play.js b/play.js
index e7a684d..5b75f51 100644
--- a/play.js
+++ b/play.js
@@ -17,13 +17,32 @@ let ui = {
cu: [],
}
+function on_focus_card_tip(card_number) {
+ document.getElementById("tooltip").className = "card show card_" + card_number
+}
+
+function on_blur_card_tip() {
+ document.getElementById("tooltip").classList = "card"
+}
+
+function on_focus_last_card() {
+ if (typeof view.last_card === 'number') {
+ document.getElementById("tooltip").className = "card show card_" + view.last_card
+ }
+}
+
+function on_blur_last_card() {
+ document.getElementById("tooltip").classList = "card"
+}
+
function on_log(text) {
let p = document.createElement("div")
text = text.replace(/&/g, "&")
text = text.replace(/</g, "&lt;")
text = text.replace(/>/g, "&gt;")
- text = text.replace(/\[(\d+)([^\]]*)\]/, '<span class="card_tip" data-card="$1">$1$2</span>')
+ text = text.replace(/#(\d+)/g,
+ '<span class="tip" onmouseenter="on_focus_card_tip($1)" onmouseleave="on_blur_card_tip()">$&</span>')
if (text.match(/^\.h1 /)) {
p.className = "h1"