--- a/src/Tools/jEdit/src/isabelle_options.scala Tue Sep 11 15:47:42 2012 +0200
+++ b/src/Tools/jEdit/src/isabelle_options.scala Tue Sep 11 15:59:35 2012 +0200
@@ -9,7 +9,7 @@
import isabelle._
-import org.gjt.sp.jedit.AbstractOptionPane
+import org.gjt.sp.jedit.{jEdit, AbstractOptionPane}
class Isabelle_Options extends AbstractOptionPane("isabelle")
@@ -24,8 +24,14 @@
override def _init()
{
+ val dummy_property = "options.isabelle.dummy"
+
for ((s, cs) <- components) {
- if (s == "") addSeparator() else addSeparator(s)
+ if (s != "") {
+ jEdit.setProperty(dummy_property, s)
+ addSeparator(dummy_property)
+ jEdit.setProperty(dummy_property, null)
+ }
cs.foreach(c => addComponent(c.title, c.peer))
}
}