author | wenzelm |
Thu, 15 Jul 2021 20:15:03 +0200 | |
changeset 73994 | fbb30dac95a2 |
child 73996 | f3409ced4df2 |
permissions | -rw-r--r-- |
73994
fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;
wenzelm
parents:
diff
changeset
|
1 |
/* Title: Tools/jEdit/jedit_main/dockables.scala |
fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;
wenzelm
parents:
diff
changeset
|
2 |
Author: Makarius |
fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;
wenzelm
parents:
diff
changeset
|
3 |
|
fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;
wenzelm
parents:
diff
changeset
|
4 |
Isabelle/jEdit dockables. |
fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;
wenzelm
parents:
diff
changeset
|
5 |
*/ |
fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;
wenzelm
parents:
diff
changeset
|
6 |
|
fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;
wenzelm
parents:
diff
changeset
|
7 |
package isabelle.jedit_main |
fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;
wenzelm
parents:
diff
changeset
|
8 |
|
fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;
wenzelm
parents:
diff
changeset
|
9 |
|
fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;
wenzelm
parents:
diff
changeset
|
10 |
import org.gjt.sp.jedit.View |
fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;
wenzelm
parents:
diff
changeset
|
11 |
|
fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;
wenzelm
parents:
diff
changeset
|
12 |
|
fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;
wenzelm
parents:
diff
changeset
|
13 |
class Debugger_Dockable(view: View, position: String) |
fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;
wenzelm
parents:
diff
changeset
|
14 |
extends isabelle.jedit.Debugger_Dockable(view, position) |
fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;
wenzelm
parents:
diff
changeset
|
15 |
|
fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;
wenzelm
parents:
diff
changeset
|
16 |
class Documentation_Dockable(view: View, position: String) |
fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;
wenzelm
parents:
diff
changeset
|
17 |
extends isabelle.jedit.Documentation_Dockable(view, position) |
fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;
wenzelm
parents:
diff
changeset
|
18 |
|
fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;
wenzelm
parents:
diff
changeset
|
19 |
class Info_Dockable(view: View, position: String) |
fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;
wenzelm
parents:
diff
changeset
|
20 |
extends isabelle.jedit.Info_Dockable(view, position) |
fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;
wenzelm
parents:
diff
changeset
|
21 |
|
fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;
wenzelm
parents:
diff
changeset
|
22 |
class Graphview_Dockable(view: View, position: String) |
fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;
wenzelm
parents:
diff
changeset
|
23 |
extends isabelle.jedit.Graphview_Dockable(view, position) |
fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;
wenzelm
parents:
diff
changeset
|
24 |
|
fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;
wenzelm
parents:
diff
changeset
|
25 |
class Protocol_Dockable(view: View, position: String) |
fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;
wenzelm
parents:
diff
changeset
|
26 |
extends isabelle.jedit.Protocol_Dockable(view, position) |
fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;
wenzelm
parents:
diff
changeset
|
27 |
|
fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;
wenzelm
parents:
diff
changeset
|
28 |
class Query_Dockable(view: View, position: String) |
fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;
wenzelm
parents:
diff
changeset
|
29 |
extends isabelle.jedit.Query_Dockable(view, position) |
fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;
wenzelm
parents:
diff
changeset
|
30 |
|
fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;
wenzelm
parents:
diff
changeset
|
31 |
class Raw_Output_Dockable(view: View, position: String) |
fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;
wenzelm
parents:
diff
changeset
|
32 |
extends isabelle.jedit.Raw_Output_Dockable(view, position) |
fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;
wenzelm
parents:
diff
changeset
|
33 |
|
fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;
wenzelm
parents:
diff
changeset
|
34 |
class Simplifier_Trace_Dockable(view: View, position: String) |
fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;
wenzelm
parents:
diff
changeset
|
35 |
extends isabelle.jedit.Simplifier_Trace_Dockable(view, position) |
fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;
wenzelm
parents:
diff
changeset
|
36 |
|
fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;
wenzelm
parents:
diff
changeset
|
37 |
class Sledgehammer_Dockable(view: View, position: String) |
fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;
wenzelm
parents:
diff
changeset
|
38 |
extends isabelle.jedit.Sledgehammer_Dockable(view, position) |
fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;
wenzelm
parents:
diff
changeset
|
39 |
|
fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;
wenzelm
parents:
diff
changeset
|
40 |
class State_Dockable(view: View, position: String) |
fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;
wenzelm
parents:
diff
changeset
|
41 |
extends isabelle.jedit.State_Dockable(view, position) |
fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;
wenzelm
parents:
diff
changeset
|
42 |
|
fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;
wenzelm
parents:
diff
changeset
|
43 |
class Syslog_Dockable(view: View, position: String) |
fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;
wenzelm
parents:
diff
changeset
|
44 |
extends isabelle.jedit.Syslog_Dockable(view, position) |
fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;
wenzelm
parents:
diff
changeset
|
45 |
|
fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;
wenzelm
parents:
diff
changeset
|
46 |
class Theories_Dockable(view: View, position: String) |
fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;
wenzelm
parents:
diff
changeset
|
47 |
extends isabelle.jedit.Theories_Dockable(view, position) |
fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;
wenzelm
parents:
diff
changeset
|
48 |
|
fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;
wenzelm
parents:
diff
changeset
|
49 |
class Timing_Dockable(view: View, position: String) |
fbb30dac95a2
clarified startup: implicitly enforce activation of isabelle.jedit_main.Plugin;
wenzelm
parents:
diff
changeset
|
50 |
extends isabelle.jedit.Timing_Dockable(view, position) |