fix nikud for noa; add mouse interaction for petri

oulipoh · Jan 11, 2024 · 8a545df · 8a545df
1 parent 5255435
commit 8a545df
Show file tree

Hide file tree

Showing 4 changed files with 12 additions and 5 deletions.
diff --git a/resen/pages.js b/resen/pages.js
@@ -239,7 +239,7 @@ function make_contents(show_snippet=default_show_snippet, show_author=default_sh
             img.src = page + 'snippet'
         }
 
-        [...new Set([pages[page].hazard || [], pages[page].hazards || []].flat())].forEach(hazard => {
+        [...new Set([pages[page].hazard ?? [], pages[page].hazards ?? []].flat())].forEach(hazard => {
             const meta = document.createElement('meta')
             meta.setAttribute('itemprop', 'accessibilityHazard')
             meta.content = hazard
@@ -531,7 +531,7 @@ function make_header(reorder_contents=default_reorder_contents, new_tab_for_soci
 function get_make_author(page, lang, make, new_tab_for_social=default_new_tab_for_social) {
     page ??= get_page()
     lang ??= get_lang()
-    let keys = [...new Set([pages[page].author || [], pages[page].authors || [], pages[page].translator || [], pages[page].translators || []].flat())]
+    let keys = [...new Set([pages[page].author ?? [], pages[page].authors ?? [], pages[page].translator ?? [], pages[page].translators ?? []].flat())]
     if (make && authors && !keys.length)
         keys = Object.keys(authors).slice(0, 1)
     let all_names = []

diff --git a/resen/petri/script.js b/resen/petri/script.js
@@ -49,7 +49,6 @@ function diagonals(trans, ts, te, bs, be) {
     trans_lines = trans.trim().split('\n')
     const width = Math.max(...trans_lines.map(l => sanitized_len(l))) + 6
     let arrow_ts = arrow_te = arrow_bs = arrow_be = '   '
-    ts = te = bs = be = -1
     if (ts)
         arrow_ts = ts == 1 ? '//v' : '^//'
     if (te)
@@ -144,6 +143,11 @@ function step(grid, json, steps=0, max_tokens={}, result_counter={}, reset_count
     const transitions = comp ? [comp] : Object.keys(json.transitions)
     if (tokens == undefined)
         tokens = comp ? Object.fromEntries(json.transitions[comp][0].map(p => [p, comp_marking])) : {...json.marking}
+    grid.querySelectorAll('[data-clicks]').forEach(place => {
+        const clicks = place.dataset.clicks | 0
+        place.removeAttribute('data-clicks')
+        tokens[place.dataset.id] = (tokens[place.dataset.id] || 0) + clicks
+    })
 
     const enabled = transitions.filter(t => is_enabled(json.transitions[t][0], tokens))
     const width = max_len(transitions.filter(t => !is_vertical(grid, t)), json.labels)
@@ -302,6 +306,7 @@ fetch(json_file).then(response => response.json()).then(json => {
                 }
             } else {
                 pre.classList.add('place')
+                pre.addEventListener('click', () => pre.dataset.clicks = (pre.dataset.clicks | 0) + 1)
                 const span = document.createElement('span')
                 pre.appendChild(span)
                 if (json.above?.includes(label) || !anti_above.includes(label) && (label_location == 'above' || label_location == 'half' && index < (labels.length/cols/2 | 0) * cols))

diff --git a/resen/petri/style.css b/resen/petri/style.css
@@ -10,6 +10,8 @@
     overflow-x: auto;
     outline-style: none;
     padding-bottom: 3em;
+    user-select: none;
+    -webkit-user-select: none;
 }
 
 .petri > div {
@@ -21,7 +23,7 @@
     line-height: 1.5;
     margin-inline: auto;
     text-align: center;
-    --hor_offset: -1.33em;
+    --hor_offset: calc(-2ch - .15em);
     --ver_offset: -1.5em;
 }
 

diff --git a/resen/things/index.html b/resen/things/index.html
@@ -14,7 +14,7 @@
 <body onload="document.body.style.visibility = 'visible'">
     <script>make_header()</script>
     <p>
-        דברים שיש להם פנים רבים (זו"נ), ועיקרן (עכשיו "פנים" הן בת, לכן ההתאם) תְּחילה (הוגים ת'שווא הנע): התוכן התרוקן (להתרוקן במשמעות פסיבית אבל גם קצת חוזרת/רפלקסיבית – רוקן את עצמו. צריך לשים לב לניואנסים סמנטיים, דפקא עכשיו) – שמות של כל החטופים, אות לְאות (לֵאוּת) פנים פנים על שְעָרִים של מגזינים וּ<span class="rafe">בָ</span>רשת כל העת, עד להחזרת כולםן! פנים רבות למנייה: מפות, שלוחות תת־קרקעיות, הברות, "אַכְזַָרתָ חֲטוּפִים" הדהֲדה יועצת הלשון רותי קליין. מיתרגמות* (אלכס מתרגם) שמות של רחובות בעזה ("רחוב" – טרנסג'נדר: רחוב יפה > רחוב*ות* יפים, צורן ריבוי נשי רק כביכול. רחוב הרוס > רחובות הרוסות*), הריסות איך אפשר לחיות, יש להשיב את התוכן לצורה! שתבוא ההלימה. עזה שורש עז"ז, הגזרה עלוּלה אך לפחות היא משמרת ת'קמץ, מָעוּזֵי עַזָּה. אתמול, ו<span class="rafe">כ</span>ך אכן היה, סיפר מוקי (צור) על רבין, תמיד הוא חוזר – רַבִּין רַבִּים (שורש רב"ב), סיפר (מוקי) ששמע אותו (את רבין) חוזה את יום הכיפורים, סיפר על סְפַר של רגשות זה שנים רבות ("שנה" – טרנסג'נדר: שנה טובה, שנ*ים* טובות – ריבוי שרק על פני הדברים הוא של בנים), על לוחֲמים, הֲלֹא חַמִּים? הַלֹּא־חָמִים (כל מי שאינו אבי הבעל ביחס לכלתו), על השיח על האלימות על הביתי, העל־ביתי, על הכורח להסתכל באדום של האין במה שקורה, יש סימנים בעולם, תבניות נושאות משמעות שאל תו<span class="taam">כָ</span>ן נוצק <span class="taam">ת</span>וכֶן ומורכבת תודעה, שפה.
+        דברים שיש להם פנים רבים (זו"נ), ועיקרן (עכשיו "פנים" הן בת, לכן ההתאם) תְּחילה (הוגים ת'שווא הנע): התוכן התרוקן (להתרוקן במשמעות פסיבית אבל גם קצת חוזרת/רפלקסיבית – רוקן את עצמו. צריך לשים לב לניואנסים סמנטיים, דפקא עכשיו) – שמות של כל החטופים, אות לְאות (לֵאוּת) פנים פנים על שְעָרִים של מגזינים וּ<span class="rafe">בָ</span>רשת כל העת, עד להחזרת כולםן! פנים רבות למנייה: מפות, שלוחות תת־קרקעיות, הברות, "אַכְזַָרָתָ חֲטוּפִים" הדהֲדה יועצת הלשון רותי קליין. מיתרגמות* (אלכס מתרגם) שמות של רחובות בעזה ("רחוב" – טרנסג'נדר: רחוב יפה > רחוב*ות* יפים, צורן ריבוי נשי רק כביכול. רחוב הרוס > רחובות הרוסות*), הריסות איך אפשר לחיות, יש להשיב את התוכן לצורה! שתבוא ההלימה. עזה שורש עז"ז, הגזרה עלוּלה אך לפחות היא משמרת ת'קמץ, מָעוּזֵי עַזָּה. אתמול, ו<span class="rafe">כ</span>ך אכן היה, סיפר מוקי (צור) על רבין, תמיד הוא חוזר – רַבִּין רַבִּים (שורש רב"ב), סיפר (מוקי) ששמע אותו (את רבין) חוזה את יום הכיפורים, סיפר על סְפָר של רגשות זה שנים רבות ("שנה" – טרנסג'נדר: שנה טובה, שנ*ים* טובות – ריבוי שרק על פני הדברים הוא של בנים), על לוחֲמים, הֲלֹא חַמִּים? הַלֹּא־חָמִים (כל מי שאינו אבי הבעל ביחס לכלתו), על השיח על האלימות על הביתי, העל־ביתי, על הכורח להסתכל באדום של האין במה שקורה, יש סימנים בעולם, תבניות נושאות משמעות שאל תו<span class="taam">כָ</span>ן נוצק <span class="taam">ת</span>וכֶן ומורכבת תודעה, שפה.
     </p>
     <script>make_footer()</script>
 </body>