--- a/src/Tools/jEdit/src/isabelle_sidekick.scala Mon Nov 18 09:45:50 2013 +0100
+++ b/src/Tools/jEdit/src/isabelle_sidekick.scala Mon Nov 18 17:16:56 2013 +0100
@@ -133,15 +133,15 @@
class Isabelle_Sidekick_Default extends
- Isabelle_Sidekick_Structure("isabelle", PIDE.thy_load.buffer_node_name)
+ Isabelle_Sidekick_Structure("isabelle", PIDE.thy_load.theory_node_name)
class Isabelle_Sidekick_Options extends
- Isabelle_Sidekick_Structure("isabelle-options", PIDE.thy_load.buffer_node_dummy)
+ Isabelle_Sidekick_Structure("isabelle-options", b => Some(PIDE.thy_load.dummy_node_name(b)))
class Isabelle_Sidekick_Root extends
- Isabelle_Sidekick_Structure("isabelle-root", PIDE.thy_load.buffer_node_dummy)
+ Isabelle_Sidekick_Structure("isabelle-root", b => Some(PIDE.thy_load.dummy_node_name(b)))
class Isabelle_Sidekick_Markup extends Isabelle_Sidekick("isabelle-markup")