author | wenzelm |
Wed, 30 Aug 2017 15:53:35 +0200 | |
changeset 66555 | 39257f39c7da |
parent 66457 | 9098c36abd1a |
child 66590 | 8e1aac4eed11 |
permissions | -rw-r--r-- |
/* 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) } }