| changeset 73890 | 8f6b2eb15240 |
| parent 73340 | 0ffcad1f6130 |
| child 73891 | 6c9044f04756 |
| 73889:5ec68c1a07d8 | 73890:8f6b2eb15240 |
|---|---|
15 |
15 |
16 class Plugin extends EBPlugin |
16 class Plugin extends EBPlugin |
17 { |
17 { |
18 override def start(): Unit = |
18 override def start(): Unit = |
19 { |
19 { |
20 Isabelle_System.init() |
20 Isabelle_Env.init() |
21 |
21 |
22 GUI.use_isabelle_fonts() |
22 GUI.use_isabelle_fonts() |
23 |
23 |
24 Debug.DISABLE_SEARCH_DIALOG_POOL = true |
24 Debug.DISABLE_SEARCH_DIALOG_POOL = true |
25 |
25 |