The chooser's marks are × at the left, tappable once marked
From the development repository at 5252a58. Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
This commit is contained in:
1 parent
02b78f0856
commit
ba6791455b
5 files changed
+24
-9
No files matched your search
@@ -4,8 +4,10 @@
|
||||
* notebooks and the pages kept in them, and loads the chosen page.
|
||||
*
|
||||
* It also deletes (Andy, 2026-10-11): every notebook and every page card
|
||||
* carries a mark at its left, a dot that a tap turns into a tick (not a
|
||||
* × at the right, which in many interfaces means "delete" itself), and one "Delete"
|
||||
* carries a mark at its left, a × that a tap turns into a tick (at the
|
||||
* left, since a × at the top right means "delete" itself in many
|
||||
* interfaces; a dot was tried and implied a generality that does not
|
||||
* exist), and one "Delete"
|
||||
* button in the header, which appears as soon as something is marked,
|
||||
* says how much is marked and asks for a second press before anything
|
||||
* goes, as the file chooser does for replacing a file; no system dialog.
|
||||
@@ -44,7 +46,7 @@ function counted(count, noun) {
|
||||
}
|
||||
|
||||
/**
|
||||
* A mark button: a dot until marked, then ✓.
|
||||
* A mark button: × until marked, then ✓.
|
||||
* @param {string} help The tooltip.
|
||||
* @returns {HTMLButtonElement}
|
||||
*/
|
||||
@@ -52,7 +54,7 @@ function markButton(help) {
|
||||
const mark = document.createElement('button');
|
||||
mark.type = 'button';
|
||||
mark.className = 'mark';
|
||||
mark.textContent = '•';
|
||||
mark.textContent = '×';
|
||||
mark.setAttribute('aria-label', 'Mark for deletion');
|
||||
mark.setAttribute('aria-pressed', 'false');
|
||||
mark.dataset.help = help;
|
||||
@@ -225,7 +227,7 @@ export class NotebookChooser {
|
||||
toggleMark(mark, marked, name) {
|
||||
const now = !marked.has(name);
|
||||
if (now) marked.add(name); else marked.delete(name);
|
||||
mark.textContent = now ? '✓' : '•';
|
||||
mark.textContent = now ? '✓' : '×';
|
||||
mark.setAttribute('aria-pressed', String(now));
|
||||
/** @type {HTMLElement} */ (mark.parentElement).classList.toggle('marked', now);
|
||||
this.disarm();
|
||||
|
||||
Reference in new issue
Block a user