diff options
Diffstat (limited to 'ext/mixed/js')
| -rw-r--r-- | ext/mixed/js/display-profile-selection.js | 1 | 
1 files changed, 1 insertions, 0 deletions
| diff --git a/ext/mixed/js/display-profile-selection.js b/ext/mixed/js/display-profile-selection.js index 357a2a85..0a44392e 100644 --- a/ext/mixed/js/display-profile-selection.js +++ b/ext/mixed/js/display-profile-selection.js @@ -59,6 +59,7 @@ class DisplayProfileSelection {      _setProfilePanelVisible(visible) {          this._profilePanel.setVisible(visible);          this._profileButton.classList.toggle('sidebar-button-highlight', visible); +        document.documentElement.dataset.profilePanelVisible = `${visible}`;          if (visible && this._profileListNeedsUpdate) {              this._updateProfileList();          } |