|
/* 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.{EBMessage, Debug, EBPlugin}
import org.gjt.sp.util.SyntaxUtilities
class Plugin extends EBPlugin
{
override def start()
{
Isabelle_System.init()
GUI.use_isabelle_fonts()
Debug.DISABLE_SEARCH_DIALOG_POOL = true
Syntax_Style.dummy_style_extender()
}
override def stop()
{
Syntax_Style.set_style_extender(new SyntaxUtilities.StyleExtender)
}
override def handleMessage(message: EBMessage) { }
}
¤ Dauer der Verarbeitung: 0.13 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|
