src/Tools/jEdit/plugin/Isabelle.props

--- a/src/Tools/jEdit/plugin/Isabelle.props	Tue May 11 23:09:49 2010 +0200
+++ b/src/Tools/jEdit/plugin/Isabelle.props	Tue May 11 23:36:06 2010 +0200
@@ -27,8 +27,6 @@
 options.isabelle.logic.title=Logic
 options.isabelle.relative-font-size.title=Relative Font Size
 options.isabelle.relative-font-size=100
-options.isabelle.relative-margin.title=Relative Margin
-options.isabelle.relative-margin=90
 options.isabelle.startup-timeout=10000
 
 #menu actions