Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/jEdit/src/isabelle.scala
changeset 73049 bef32cb5d26b
parent 73039 4b1cfbf96e36
child 73340 0ffcad1f6130 
--- a/src/Tools/jEdit/src/isabelle.scala	Mon Jan 04 19:56:33 2021 +0100
+++ b/src/Tools/jEdit/src/isabelle.scala	Mon Jan 04 21:02:46 2021 +0100
@@ -233,7 +233,8 @@
   // see toggleFullScreen() method in jEdit/org/gjt/sp/jedit/View.java
   def toggle_full_screen(view: View)
   {
-    if (Untyped.get[Boolean](view, "fullScreenMode")) view.toggleFullScreen()
+    if (PIDE.options.bool("jedit_toggle_full_screen") ||
+        Untyped.get[Boolean](view, "fullScreenMode")) view.toggleFullScreen()
     else {
       Untyped.set[Boolean](view, "fullScreenMode", true)
       val screen = GUI.screen_size(view)
isabelle