From 8a545dfbf8903a9adace75ca63e645405be02a4d Mon Sep 17 00:00:00 2001 From: Eyal Gruss Date: Thu, 11 Jan 2024 10:55:08 +0200 Subject: [PATCH] fix nikud for noa; add mouse interaction for petri --- resen/pages.js | 4 ++-- resen/petri/script.js | 7 ++++++- resen/petri/style.css | 4 +++- resen/things/index.html | 2 +- 4 files changed, 12 insertions(+), 5 deletions(-) diff --git a/resen/pages.js b/resen/pages.js index 769618f..54355d3 100644 --- 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 index 1fc904e..917ccf5 100644 --- 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 index e4734cb..d2be2a8 100644 --- 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 index a7418b2..1b0a689 100644 --- a/resen/things/index.html +++ b/resen/things/index.html @@ -14,7 +14,7 @@

- דברים שיש להם פנים רבים (זו"נ), ועיקרן (עכשיו "פנים" הן בת, לכן ההתאם) תְּחילה (הוגים ת'שווא הנע): התוכן התרוקן (להתרוקן במשמעות פסיבית אבל גם קצת חוזרת/רפלקסיבית – רוקן את עצמו. צריך לשים לב לניואנסים סמנטיים, דפקא עכשיו) – שמות של כל החטופים, אות לְאות (לֵאוּת) פנים פנים על שְעָרִים של מגזינים וּבָרשת כל העת, עד להחזרת כולםן! פנים רבות למנייה: מפות, שלוחות תת־קרקעיות, הברות, "אַכְזַָרתָ חֲטוּפִים" הדהֲדה יועצת הלשון רותי קליין. מיתרגמות* (אלכס מתרגם) שמות של רחובות בעזה ("רחוב" – טרנסג'נדר: רחוב יפה > רחוב*ות* יפים, צורן ריבוי נשי רק כביכול. רחוב הרוס > רחובות הרוסות*), הריסות איך אפשר לחיות, יש להשיב את התוכן לצורה! שתבוא ההלימה. עזה שורש עז"ז, הגזרה עלוּלה אך לפחות היא משמרת ת'קמץ, מָעוּזֵי עַזָּה. אתמול, וכך אכן היה, סיפר מוקי (צור) על רבין, תמיד הוא חוזר – רַבִּין רַבִּים (שורש רב"ב), סיפר (מוקי) ששמע אותו (את רבין) חוזה את יום הכיפורים, סיפר על סְפַר של רגשות זה שנים רבות ("שנה" – טרנסג'נדר: שנה טובה, שנ*ים* טובות – ריבוי שרק על פני הדברים הוא של בנים), על לוחֲמים, הֲלֹא חַמִּים? הַלֹּא־חָמִים (כל מי שאינו אבי הבעל ביחס לכלתו), על השיח על האלימות על הביתי, העל־ביתי, על הכורח להסתכל באדום של האין במה שקורה, יש סימנים בעולם, תבניות נושאות משמעות שאל תוכָן נוצק תוכֶן ומורכבת תודעה, שפה. + דברים שיש להם פנים רבים (זו"נ), ועיקרן (עכשיו "פנים" הן בת, לכן ההתאם) תְּחילה (הוגים ת'שווא הנע): התוכן התרוקן (להתרוקן במשמעות פסיבית אבל גם קצת חוזרת/רפלקסיבית – רוקן את עצמו. צריך לשים לב לניואנסים סמנטיים, דפקא עכשיו) – שמות של כל החטופים, אות לְאות (לֵאוּת) פנים פנים על שְעָרִים של מגזינים וּבָרשת כל העת, עד להחזרת כולםן! פנים רבות למנייה: מפות, שלוחות תת־קרקעיות, הברות, "אַכְזַָרָתָ חֲטוּפִים" הדהֲדה יועצת הלשון רותי קליין. מיתרגמות* (אלכס מתרגם) שמות של רחובות בעזה ("רחוב" – טרנסג'נדר: רחוב יפה > רחוב*ות* יפים, צורן ריבוי נשי רק כביכול. רחוב הרוס > רחובות הרוסות*), הריסות איך אפשר לחיות, יש להשיב את התוכן לצורה! שתבוא ההלימה. עזה שורש עז"ז, הגזרה עלוּלה אך לפחות היא משמרת ת'קמץ, מָעוּזֵי עַזָּה. אתמול, וכך אכן היה, סיפר מוקי (צור) על רבין, תמיד הוא חוזר – רַבִּין רַבִּים (שורש רב"ב), סיפר (מוקי) ששמע אותו (את רבין) חוזה את יום הכיפורים, סיפר על סְפָר של רגשות זה שנים רבות ("שנה" – טרנסג'נדר: שנה טובה, שנ*ים* טובות – ריבוי שרק על פני הדברים הוא של בנים), על לוחֲמים, הֲלֹא חַמִּים? הַלֹּא־חָמִים (כל מי שאינו אבי הבעל ביחס לכלתו), על השיח על האלימות על הביתי, העל־ביתי, על הכורח להסתכל באדום של האין במה שקורה, יש סימנים בעולם, תבניות נושאות משמעות שאל תוכָן נוצק תוכֶן ומורכבת תודעה, שפה.