1/* Title: Tools/jEdit/src-base/plugin.scala 2 Author: Makarius 3 4Isabelle base environment for jEdit. 5*/ 6 7package isabelle.jedit_base 8 9 10import isabelle._ 11 12import org.gjt.sp.jedit.{EBMessage, Debug, EBPlugin} 13import org.gjt.sp.util.SyntaxUtilities 14 15 16class Plugin extends EBPlugin 17{ 18 override def start() 19 { 20 Isabelle_System.init() 21 22 Debug.DISABLE_SEARCH_DIALOG_POOL = true 23 24 Syntax_Style.dummy_style_extender() 25 } 26 27 override def stop() 28 { 29 Syntax_Style.set_style_extender(new SyntaxUtilities.StyleExtender) 30 } 31 32 override def handleMessage(message: EBMessage) { } 33} 34