equal
deleted
inserted
replaced
7 package isabelle.jedit_base |
7 package isabelle.jedit_base |
8 |
8 |
9 |
9 |
10 import isabelle._ |
10 import isabelle._ |
11 |
11 |
12 import org.gjt.sp.jedit.EBPlugin |
12 import org.gjt.sp.jedit.{Debug, EBPlugin} |
13 import org.gjt.sp.util.SyntaxUtilities |
13 import org.gjt.sp.util.SyntaxUtilities |
14 |
14 |
15 |
15 |
16 class Plugin extends EBPlugin |
16 class Plugin extends EBPlugin |
17 { |
17 { |
18 override def start() |
18 override def start() |
19 { |
19 { |
20 Isabelle_System.init() |
20 Isabelle_System.init() |
21 |
21 |
|
22 Debug.DISABLE_SEARCH_DIALOG_POOL = true |
|
23 |
22 SyntaxUtilities.setStyleExtender(Syntax_Style.Dummy_Extender) |
24 SyntaxUtilities.setStyleExtender(Syntax_Style.Dummy_Extender) |
23 } |
25 } |
24 |
26 |
25 override def stop() |
27 override def stop() |
26 { |
28 { |