diff options
Diffstat (limited to 'todo')
| -rw-r--r-- | todo | 12 |
1 files changed, 11 insertions, 1 deletions
@@ -46,8 +46,18 @@ A Pending work, in progress [da]: . extra clicks are needed (?) - investigate of excessive processing for large proofs - investigate bug fix for vacuous locked regions - - document proof-mouse-track-insert (new name for proof-send-span, re-enabled). + - document proof-mouse-track-insert (new name for proof-send-span, re-enabled), proof-toggle-scripting, new configuration options. +B Fix colouring of response buffer, may be broken. + +B Usability enhancement: remove stupid "I don't know what I should be doing" + errors and replace with something more informative. + +B Doc enhancement: explain conditions for switching buffers and auto + switching of scripting buffers. (See doc of + proof-auto-action-when-switching-scripting) + +D Multiple file improvements: add implicit D Usability enhancement: - Fix asymmetry between "doing" and "undoing": doing will skip comments, undoing will not. e.g. test case: (* tester *) intros; |