equal
deleted
inserted
replaced
165 <ACTION NAME="isabelle.draft"> |
165 <ACTION NAME="isabelle.draft"> |
166 <CODE> |
166 <CODE> |
167 isabelle.jedit.Document_Model.open_preview(view, true); |
167 isabelle.jedit.Document_Model.open_preview(view, true); |
168 </CODE> |
168 </CODE> |
169 </ACTION> |
169 </ACTION> |
|
170 <ACTION NAME="isabelle-export-browser"> |
|
171 <CODE> |
|
172 isabelle.jedit.Isabelle_Export.open_browser(view); |
|
173 </CODE> |
|
174 </ACTION> |
170 <ACTION NAME="isabelle.keymap-merge"> |
175 <ACTION NAME="isabelle.keymap-merge"> |
171 <CODE> |
176 <CODE> |
172 isabelle.jedit.Keymap_Merge.check_dialog(view); |
177 isabelle.jedit.Keymap_Merge.check_dialog(view); |
173 </CODE> |
178 </CODE> |
174 </ACTION> |
179 </ACTION> |