mirror of
https://github.com/wavetermdev/waveterm.git
synced 2025-01-02 18:39:05 +01:00
allow right-click to control hide/unhide nav
This commit is contained in:
parent
12bc0afdab
commit
da8a84866e
@ -495,6 +495,7 @@ export class WebViewModel implements ViewModel {
|
||||
zoomSubMenu.push(makeZoomFactorMenuItem("175%", 1.75));
|
||||
zoomSubMenu.push(makeZoomFactorMenuItem("200%", 2));
|
||||
|
||||
const isNavHidden = globalStore.get(this.hideNav);
|
||||
return [
|
||||
{
|
||||
label: "Set Block Homepage",
|
||||
@ -507,6 +508,16 @@ export class WebViewModel implements ViewModel {
|
||||
{
|
||||
type: "separator",
|
||||
},
|
||||
{
|
||||
label: isNavHidden ? "Un-Hide Navigation" : "Hide Navigation",
|
||||
click: () =>
|
||||
fireAndForget(() => {
|
||||
return RpcApi.SetMetaCommand(TabRpcClient, {
|
||||
oref: WOS.makeORef("block", this.blockId),
|
||||
meta: { "web:hidenav": !isNavHidden },
|
||||
});
|
||||
}),
|
||||
},
|
||||
{
|
||||
label: "Set Zoom Factor",
|
||||
submenu: zoomSubMenu,
|
||||
|
Loading…
Reference in New Issue
Block a user