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_actions.scala
changeset 50206 6626bc5ed053
parent 50205 788c8263e634 
--- a/src/Tools/jEdit/src/isabelle_actions.scala	Sun Nov 25 20:59:32 2012 +0100
+++ b/src/Tools/jEdit/src/isabelle_actions.scala	Sun Nov 25 21:10:29 2012 +0100
@@ -19,9 +19,8 @@
 
   def change_font_size(view: View, change: Int => Int)
   {
-    val FONT_SIZE = "view.fontsize"
-    val size = change(jEdit.getIntegerProperty(FONT_SIZE, 12)) max 5
-    jEdit.setIntegerProperty(FONT_SIZE, size)
+    val size = change(jEdit.getIntegerProperty("view.fontsize", 16)) max 5
+    jEdit.setIntegerProperty("view.fontsize", size)
     jEdit.propertiesChanged()
     jEdit.saveSettings()
     view.getStatus.setMessageAndClear("Text font size: " + size)
isabelle