equal
deleted
inserted
replaced
135 class Isabelle_Sidekick_Default extends |
135 class Isabelle_Sidekick_Default extends |
136 Isabelle_Sidekick_Structure("isabelle", PIDE.thy_load.theory_node_name) |
136 Isabelle_Sidekick_Structure("isabelle", PIDE.thy_load.theory_node_name) |
137 |
137 |
138 |
138 |
139 class Isabelle_Sidekick_Options extends |
139 class Isabelle_Sidekick_Options extends |
140 Isabelle_Sidekick_Structure("isabelle-options", b => Some(PIDE.thy_load.dummy_node_name(b))) |
140 Isabelle_Sidekick_Structure("isabelle-options", _ => Some(Document.Node.Name("options"))) |
141 |
141 |
142 |
142 |
143 class Isabelle_Sidekick_Root extends |
143 class Isabelle_Sidekick_Root extends |
144 Isabelle_Sidekick_Structure("isabelle-root", b => Some(PIDE.thy_load.dummy_node_name(b))) |
144 Isabelle_Sidekick_Structure("isabelle-root", _ => Some(Document.Node.Name("ROOT"))) |
145 |
145 |
146 |
146 |
147 class Isabelle_Sidekick_Markup extends Isabelle_Sidekick("isabelle-markup") |
147 class Isabelle_Sidekick_Markup extends Isabelle_Sidekick("isabelle-markup") |
148 { |
148 { |
149 override def parser(buffer: Buffer, syntax: Outer_Syntax, data: SideKickParsedData): Boolean = |
149 override def parser(buffer: Buffer, syntax: Outer_Syntax, data: SideKickParsedData): Boolean = |