equal
deleted
inserted
replaced
93 selections. Cf. keyboard shortcuts C+e DOWN/UP/RIGHT/LEFT. |
93 selections. Cf. keyboard shortcuts C+e DOWN/UP/RIGHT/LEFT. |
94 |
94 |
95 * Actions isabelle.increase-font-size and isabelle.decrease-font-size |
95 * Actions isabelle.increase-font-size and isabelle.decrease-font-size |
96 adjust the main text area font size, and its derivatives for output, |
96 adjust the main text area font size, and its derivatives for output, |
97 tooltips etc. Cf. keyboard shortcuts C-PLUS and C-MINUS. |
97 tooltips etc. Cf. keyboard shortcuts C-PLUS and C-MINUS. |
|
98 |
|
99 * More reactive completion popup by default: use \t (TAB) instead of |
|
100 \n (NEWLINE) to minimize intrusion into regular flow of editing. See |
|
101 also "Plugin Options / SideKick / General / Code Completion Options". |
98 |
102 |
99 * Implicit check and build dialog of the specified logic session |
103 * Implicit check and build dialog of the specified logic session |
100 image. For example, HOL, HOLCF, HOL-Nominal can be produced on |
104 image. For example, HOL, HOLCF, HOL-Nominal can be produced on |
101 demand, without bundling big platform-dependent heap images in the |
105 demand, without bundling big platform-dependent heap images in the |
102 Isabelle distribution. |
106 Isabelle distribution. |