equal
deleted
inserted
replaced
3 Author: Makarius |
3 Author: Makarius |
4 |
4 |
5 Dockable window for Isabelle process control. |
5 Dockable window for Isabelle process control. |
6 */ |
6 */ |
7 |
7 |
8 package isabelle |
8 package isabelle.jedit |
9 |
9 |
10 import org.gjt.sp.jedit.View |
10 import org.gjt.sp.jedit.View |
11 import org.gjt.sp.jedit.gui.DefaultFocusComponent |
11 import org.gjt.sp.jedit.gui.DefaultFocusComponent |
12 import org.gjt.sp.jedit.gui.DockableWindowManager |
12 import org.gjt.sp.jedit.gui.DockableWindowManager |
13 import org.gjt.sp.jedit.gui.RolloverButton |
13 import org.gjt.sp.jedit.gui.RolloverButton |