equal
deleted
inserted
replaced
131 } |
131 } |
132 } |
132 } |
133 |
133 |
134 |
134 |
135 class Isabelle_Sidekick_Default extends |
135 class Isabelle_Sidekick_Default extends |
136 Isabelle_Sidekick_Structure("isabelle", PIDE.thy_load.buffer_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", PIDE.thy_load.buffer_node_dummy) |
140 Isabelle_Sidekick_Structure("isabelle-options", b => Some(PIDE.thy_load.dummy_node_name(b))) |
141 |
141 |
142 |
142 |
143 class Isabelle_Sidekick_Root extends |
143 class Isabelle_Sidekick_Root extends |
144 Isabelle_Sidekick_Structure("isabelle-root", PIDE.thy_load.buffer_node_dummy) |
144 Isabelle_Sidekick_Structure("isabelle-root", b => Some(PIDE.thy_load.dummy_node_name(b))) |
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 = |