equal
deleted
inserted
replaced
98 |
98 |
99 - Various Isabelle plugin options to control popup behaviour and |
99 - Various Isabelle plugin options to control popup behaviour and |
100 immediate insertion into buffer. |
100 immediate insertion into buffer. |
101 |
101 |
102 - Light-weight popup, which avoids explicit window (more reactive |
102 - Light-weight popup, which avoids explicit window (more reactive |
103 and more robust). Interpreted key events: TAB, ESCAPE, UP, DOWN, |
103 and more robust). Interpreted key events include TAB, ESCAPE, UP, |
104 PAGE_UP, PAGE_DOWN. All other key events are passed to the jEdit |
104 DOWN, PAGE_UP, PAGE_DOWN. Uninterpreted key events are passed to |
105 text area unchanged. |
105 the jEdit text area. |
106 |
106 |
107 - Explicit completion via standard jEdit shortcut C+b, which has |
107 - Explicit completion via standard jEdit shortcut C+b, which has |
108 been remapped to action "isabelle.complete" (fall-back on regular |
108 been remapped to action "isabelle.complete" (fall-back on regular |
109 "complete-word" for non-Isabelle buffers). |
109 "complete-word" for non-Isabelle buffers). |
110 |
110 |