preference: Unify duplicate toggle-menubar-setting event.

Signed-off-by: Anders Kaseorg <anders@zulip.com>
This commit is contained in:
Anders Kaseorg
2022-02-17 20:56:11 -08:00
parent 7fb0cfd176
commit 3ffc7251f4
3 changed files with 7 additions and 4 deletions

View File

@@ -1028,7 +1028,11 @@ class ServerManagerView {
return;
}
this.updateGeneralSettings("toggle-menubar-setting", autoHideMenubar);
this.updateGeneralSettings(
"toggle-autohide-menubar",
autoHideMenubar,
updateMenu,
);
},
);