src/Tools/jEdit/src/isabelle.scala
changeset 53274 1760c01f1c78
parent 53272 0dfd78ff7696
child 53276 cbed0aa0b0db
equal deleted inserted replaced
53273:473ea1ed7503 53274:1760c01f1c78
    14 import org.gjt.sp.jedit.gui.DockableWindowManager
    14 import org.gjt.sp.jedit.gui.DockableWindowManager
    15 
    15 
    16 
    16 
    17 object Isabelle
    17 object Isabelle
    18 {
    18 {
       
    19   /* editor modes */
       
    20 
       
    21   val modes = List("isabelle", "isabelle-options", "isabelle-root", "isabelle-news")
       
    22 
       
    23   def mode_syntax(name: String): Option[Outer_Syntax] =
       
    24     name match {
       
    25       case "isabelle" | "isabelle-raw" => PIDE.get_recent_syntax
       
    26       case "isabelle-options" => Some(Options.options_syntax)
       
    27       case "isabelle-root" => Some(Build.root_syntax)
       
    28       case "isabelle-news" => Some(Outer_Syntax.empty)
       
    29       case _ => None
       
    30     }
       
    31 
       
    32 
    19   /* dockable windows */
    33   /* dockable windows */
    20 
    34 
    21   private def wm(view: View): DockableWindowManager = view.getDockableWindowManager
    35   private def wm(view: View): DockableWindowManager = view.getDockableWindowManager
    22 
    36 
    23   def docked_theories(view: View): Option[Theories_Dockable] =
    37   def docked_theories(view: View): Option[Theories_Dockable] =