equal
deleted
inserted
replaced
13 import javax.swing.JScrollPane |
13 import javax.swing.JScrollPane |
14 |
14 |
15 import scala.collection.mutable |
15 import scala.collection.mutable |
16 |
16 |
17 import isabelle.prover.{Prover, Command} |
17 import isabelle.prover.{Prover, Command} |
|
18 import isabelle.proofdocument.ProofDocument |
18 import isabelle.Isabelle_System |
19 import isabelle.Isabelle_System |
19 |
20 |
20 import org.gjt.sp.jedit.{jEdit, EBMessage, EBPlugin, Buffer, EditPane, ServiceManager, View} |
21 import org.gjt.sp.jedit.{jEdit, EBMessage, EBPlugin, Buffer, EditPane, ServiceManager, View} |
21 import org.gjt.sp.jedit.buffer.JEditBuffer |
22 import org.gjt.sp.jedit.buffer.JEditBuffer |
22 import org.gjt.sp.jedit.textarea.JEditTextArea |
23 import org.gjt.sp.jedit.textarea.JEditTextArea |
93 Isabelle.system.platform_file("~~/lib/fonts/IsabelleMono.ttf")). |
94 Isabelle.system.platform_file("~~/lib/fonts/IsabelleMono.ttf")). |
94 deriveFont(Font.PLAIN, (size max 1).toFloat) |
95 deriveFont(Font.PLAIN, (size max 1).toFloat) |
95 font_changed.event(font) |
96 font_changed.event(font) |
96 } |
97 } |
97 |
98 |
|
99 /* event buses */ |
|
100 |
|
101 val state_update = new EventBus[Command] |
|
102 val command_change = new EventBus[Command] |
|
103 val document_change = new EventBus[ProofDocument] |
98 |
104 |
99 /* selected state */ |
105 /* selected state */ |
100 |
|
101 val state_update = new EventBus[Command] |
|
102 |
106 |
103 private var _selected_state: Command = null |
107 private var _selected_state: Command = null |
104 def selected_state = _selected_state |
108 def selected_state = _selected_state |
105 def selected_state_=(state: Command) { _selected_state = state; state_update.event(state) } |
109 def selected_state_=(state: Command) { _selected_state = state; state_update.event(state) } |
106 |
110 |