Fix toggleable editor button styles (#2531)

This commit is contained in:
Abdo 2023-06-05 05:43:50 +03:00 committed by GitHub
parent e94ab5a44d
commit 51dc5860bd
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
3 changed files with 11 additions and 1 deletions

View file

@ -236,7 +236,9 @@ require("anki/ui").loaded.then(() => require("anki/NoteEditor").instances[0].too
def on_hotkey() -> None: def on_hotkey() -> None:
on_activated() on_activated()
self.web.eval(f'toggleEditorButton("#{id}");') self.web.eval(
f'toggleEditorButton(document.getElementById("{id}"));'
)
else: else:
on_hotkey = on_activated on_hotkey = on_activated

View file

@ -33,3 +33,7 @@
} }
} }
} }
button {
@include button.base($active-class: active);
}

View file

@ -21,3 +21,7 @@ export function setFormat(cmd: string, arg?: string, _nosave = false): void {
execCommand(cmd, false, arg); execCommand(cmd, false, arg);
updateAllState(new Event(cmd)); updateAllState(new Event(cmd));
} }
export function toggleEditorButton(button: HTMLButtonElement): void {
button.classList.toggle("active");
}