equal
deleted
inserted
replaced
1 <ACTIONS> |
1 <ACTIONS> |
2 <ACTION NAME="Isabelle.show-output"> |
2 <ACTION NAME="isabelle.show-output"> |
3 <CODE> |
3 <CODE> |
4 wm.addDockableWindow("Isabelle_output"); |
4 wm.addDockableWindow("isabelle-output"); |
5 </CODE> |
5 </CODE> |
6 </ACTION> |
6 </ACTION> |
7 <ACTION NAME="Isabelle.show-state"> |
7 <ACTION NAME="isabelle.show-state"> |
8 <CODE> |
8 <CODE> |
9 wm.addDockableWindow("Isabelle_state"); |
9 wm.addDockableWindow("isabelle-state"); |
10 </CODE> |
10 </CODE> |
11 </ACTION> |
11 </ACTION> |
12 <ACTION NAME="Isabelle.show-scroller"> |
12 <ACTION NAME="isabelle.show-scroller"> |
13 <CODE> |
13 <CODE> |
14 wm.addDockableWindow("Isabelle_scroller"); |
14 wm.addDockableWindow("isabelle-scroller"); |
15 </CODE> |
15 </CODE> |
16 </ACTION> |
16 </ACTION> |
17 <ACTION NAME="Isabelle.activate"> |
17 <ACTION NAME="isabelle.activate"> |
18 <CODE> |
18 <CODE> |
19 isabelle.jedit.Plugin$.MODULE$.plugin().switch_active(view); |
19 isabelle.jedit.Isabelle.plugin().switch_active(view); |
20 </CODE> |
20 </CODE> |
21 <IS_SELECTED> |
21 <IS_SELECTED> |
22 return isabelle.jedit.Plugin$.MODULE$.plugin().is_active(view.getBuffer()); |
22 return isabelle.jedit.Isabelle.plugin().is_active(view.getBuffer()); |
23 </IS_SELECTED> |
23 </IS_SELECTED> |
24 </ACTION> |
24 </ACTION> |
25 </ACTIONS> |
25 </ACTIONS> |