Merge pull request #1743 from e218736/button-aria-labels

This commit is contained in:
a3957273 2024-04-09 00:44:48 +01:00 committed by GitHub
commit b2e400f474
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
2 changed files with 28 additions and 26 deletions

View file

@ -1541,10 +1541,12 @@ class OutputWaiter {
this.app.ioSplitter.collapse(0);
$(el).attr("data-original-title", "Restore output pane");
$(el).attr("aria-label", "Restore output pane");
el.querySelector("i").innerHTML = "fullscreen_exit";
} else {
document.body.classList.remove("output-maximised");
$(el).attr("data-original-title", "Maximise output pane");
$(el).attr("aria-label", "Maximise output pane");
el.querySelector("i").innerHTML = "fullscreen";
this.app.initialiseSplitter(false);
this.app.resetLayout();