changeset 73076 | d44552bf310f |
parent 73070 | 7ef8d77ee761 |
child 73110 | c87ca43ebd3b |
73075:893310d6d76d | 73076:d44552bf310f |
---|---|
17 { |
17 { |
18 override def start() |
18 override def start() |
19 { |
19 { |
20 Isabelle_System.init() |
20 Isabelle_System.init() |
21 |
21 |
22 GUI.set_application_icon() |
|
23 |
|
24 Debug.DISABLE_SEARCH_DIALOG_POOL = true |
22 Debug.DISABLE_SEARCH_DIALOG_POOL = true |
25 |
23 |
26 Syntax_Style.dummy_style_extender() |
24 Syntax_Style.dummy_style_extender() |
27 } |
25 } |
28 |
26 |