src/Tools/jEdit/src-base/plugin.scala

more robust;

/*  Title:      Tools/jEdit/src-base/plugin.scala
    Author:     Makarius

Isabelle base environment for jEdit.
*/

package isabelle.jedit_base


import isabelle._

import org.gjt.sp.jedit.EBPlugin
import org.gjt.sp.util.SyntaxUtilities


class Plugin extends EBPlugin
{
  override def start()
  {
    Isabelle_System.init()

    SyntaxUtilities.setStyleExtender(Syntax_Style.Dummy_Extender)
  }

  override def stop()
  {
    SyntaxUtilities.setStyleExtender(new SyntaxUtilities.StyleExtender)
  }
}