changeset 34617 | 8d2c49605685 |
parent 34571 | ea86cc4e04c7 |
child 34652 | 5fe5e00ec430 |
--- a/src/Tools/jEdit/plugin/Isabelle.props Thu Jun 25 14:19:14 2009 +0200 +++ b/src/Tools/jEdit/plugin/Isabelle.props Thu Jun 25 21:14:10 2009 +0200 @@ -29,7 +29,7 @@ plugin.isabelle.jedit.Plugin.option-pane=isabelle options.isabelle.label=Isabelle options.isabelle.code=new isabelle.jedit.OptionPane(); -options.isabelle.font-path.title=Font Path +options.isabelle.logic.title=Logic options.isabelle.font-size.title=Font Size options.isabelle.font-size=18