equal
deleted
inserted
replaced
99 bold, reset of style -- operating on single symbols or text |
99 bold, reset of style -- operating on single symbols or text |
100 selections. Cf. keyboard shortcuts C+e DOWN/UP/RIGHT/LEFT. |
100 selections. Cf. keyboard shortcuts C+e DOWN/UP/RIGHT/LEFT. |
101 |
101 |
102 * Actions isabelle.increase-font-size and isabelle.decrease-font-size |
102 * Actions isabelle.increase-font-size and isabelle.decrease-font-size |
103 adjust the main text area font size, and its derivatives for output, |
103 adjust the main text area font size, and its derivatives for output, |
104 tooltips etc. Cf. keyboard shortcuts C-PLUS and C-MINUS. |
104 tooltips etc. Cf. keyboard shortcuts C-PLUS and C-MINUS, which often |
|
105 need to be adapted to local keyboard layouts. |
105 |
106 |
106 * More reactive completion popup by default: use \t (TAB) instead of |
107 * More reactive completion popup by default: use \t (TAB) instead of |
107 \n (NEWLINE) to minimize intrusion into regular flow of editing. See |
108 \n (NEWLINE) to minimize intrusion into regular flow of editing. See |
108 also "Plugin Options / SideKick / General / Code Completion Options". |
109 also "Plugin Options / SideKick / General / Code Completion Options". |
109 |
110 |