equal
deleted
inserted
replaced
175 } |
175 } |
176 } |
176 } |
177 |
177 |
178 |
178 |
179 class Isabelle_Sidekick_Default extends Isabelle_Sidekick_Structure( |
179 class Isabelle_Sidekick_Default extends Isabelle_Sidekick_Structure( |
180 "isabelle", PIDE.get_recent_syntax, JEdit_Lib.buffer_node_name) |
180 "isabelle", PIDE.get_recent_syntax, PIDE.thy_load.buffer_node_name) |
181 |
181 |
182 |
182 |
183 class Isabelle_Sidekick_Options extends Isabelle_Sidekick_Structure( |
183 class Isabelle_Sidekick_Options extends Isabelle_Sidekick_Structure( |
184 "isabelle-options", Some(Options.options_syntax), JEdit_Lib.buffer_node_dummy) |
184 "isabelle-options", Some(Options.options_syntax), PIDE.thy_load.buffer_node_dummy) |
185 |
185 |
186 |
186 |
187 class Isabelle_Sidekick_Root extends Isabelle_Sidekick_Structure( |
187 class Isabelle_Sidekick_Root extends Isabelle_Sidekick_Structure( |
188 "isabelle-root", Some(Build.root_syntax), JEdit_Lib.buffer_node_dummy) |
188 "isabelle-root", Some(Build.root_syntax), PIDE.thy_load.buffer_node_dummy) |
189 |
189 |
190 |
190 |
191 class Isabelle_Sidekick_Raw extends Isabelle_Sidekick("isabelle-raw", PIDE.get_recent_syntax) |
191 class Isabelle_Sidekick_Raw extends Isabelle_Sidekick("isabelle-raw", PIDE.get_recent_syntax) |
192 { |
192 { |
193 override def parser(buffer: Buffer, syntax: Outer_Syntax, data: SideKickParsedData): Boolean = |
193 override def parser(buffer: Buffer, syntax: Outer_Syntax, data: SideKickParsedData): Boolean = |