diff options
author | geireann <60007097+geireann@users.noreply.github.com> | 2020-08-19 23:53:05 +0800 |
---|---|---|
committer | geireann <60007097+geireann@users.noreply.github.com> | 2020-08-19 23:53:05 +0800 |
commit | 084025582325b662a442538dde911b58920a8d8b (patch) | |
tree | 4603fb7119aa34c5e7dc54cc6c925888e90b3ecb /src/client/views/MainView.tsx | |
parent | d3a28452843dbbb94b79d3d9617076c7327fbfb9 (diff) | |
parent | e374eb7c6ef542cc27c10e8d56b10f3a49a7e7e3 (diff) |
Merge branch 'master' into presentation_updates
Diffstat (limited to 'src/client/views/MainView.tsx')
-rw-r--r-- | src/client/views/MainView.tsx | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/client/views/MainView.tsx b/src/client/views/MainView.tsx index 73e484766..9e84e50cd 100644 --- a/src/client/views/MainView.tsx +++ b/src/client/views/MainView.tsx @@ -981,7 +981,6 @@ export class MainView extends React.Component { } } Scripting.addGlobal(function selectMainMenu(doc: Doc, title: string) { MainView.Instance.selectMenu(doc); }); -Scripting.addGlobal(function freezeSidebar() { MainView.expandFlyout(); }); Scripting.addGlobal(function toggleComicMode() { Doc.UserDoc().fontFamily = "Comic Sans MS"; Doc.UserDoc().renderStyle = Doc.UserDoc().renderStyle === "comic" ? undefined : "comic"; }); Scripting.addGlobal(function copyWorkspace() { const copiedWorkspace = Doc.MakeCopy(Cast(Doc.UserDoc().activeWorkspace, Doc, null), true); |