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