equal
deleted
inserted
replaced
50 <ACTION NAME="isabelle.symbols-panel"> |
50 <ACTION NAME="isabelle.symbols-panel"> |
51 <CODE> |
51 <CODE> |
52 wm.addDockableWindow("isabelle-symbols"); |
52 wm.addDockableWindow("isabelle-symbols"); |
53 </CODE> |
53 </CODE> |
54 </ACTION> |
54 </ACTION> |
55 <ACTION NAME="isabelle.execution-range-none"> |
55 <ACTION NAME="isabelle.set-continuous-checking"> |
56 <CODE> |
56 <CODE> |
57 isabelle.jedit.PIDE.execution_range_none(); |
57 isabelle.jedit.PIDE.set_continuous_checking(); |
58 </CODE> |
58 </CODE> |
59 </ACTION> |
59 </ACTION> |
60 <ACTION NAME="isabelle.execution-range-visible"> |
60 <ACTION NAME="isabelle.reset-continuous-checking"> |
61 <CODE> |
61 <CODE> |
62 isabelle.jedit.PIDE.execution_range_visible(); |
62 isabelle.jedit.PIDE.reset_continuous_checking(); |
|
63 </CODE> |
|
64 </ACTION> |
|
65 <ACTION NAME="isabelle.toggle-continuous-checking"> |
|
66 <CODE> |
|
67 isabelle.jedit.PIDE.toggle_continuous_checking(); |
63 </CODE> |
68 </CODE> |
64 </ACTION> |
69 </ACTION> |
65 <ACTION NAME="isabelle.increase-font-size"> |
70 <ACTION NAME="isabelle.increase-font-size"> |
66 <CODE> |
71 <CODE> |
67 isabelle.jedit.Isabelle.increase_font_size(view); |
72 isabelle.jedit.Isabelle.increase_font_size(view); |