equal
deleted
inserted
replaced
173 |
173 |
174 |
174 |
175 class Isabelle_Sidekick_Markup extends Isabelle_Sidekick("isabelle-markup") { |
175 class Isabelle_Sidekick_Markup extends Isabelle_Sidekick("isabelle-markup") { |
176 override def parser(buffer: Buffer, syntax: Outer_Syntax, data: SideKickParsedData): Boolean = { |
176 override def parser(buffer: Buffer, syntax: Outer_Syntax, data: SideKickParsedData): Boolean = { |
177 val opt_snapshot = |
177 val opt_snapshot = |
178 Document_Model.get(buffer) match { |
178 Document_Model.get_model(buffer) match { |
179 case Some(model) if model.is_theory => Some(Document_Model.snapshot(model)) |
179 case Some(model) if model.is_theory => Some(Document_Model.snapshot(model)) |
180 case _ => None |
180 case _ => None |
181 } |
181 } |
182 opt_snapshot match { |
182 opt_snapshot match { |
183 case Some(snapshot) => |
183 case Some(snapshot) => |