diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-06-09 19:06:07 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-06-09 19:06:07 +0000 |
| commit | 85dc0cf0d1c922ed6e8f7cccfc7c03aa36d81bb8 (patch) | |
| tree | 423efc1483cc6274cc9a91881e67090345a3de77 /todo | |
| parent | ceba4e78e9efb01fd3269e5e90d0ca19b8845166 (diff) | |
Bug in file colouring
Diffstat (limited to 'todo')
| -rw-r--r-- | todo | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -29,6 +29,11 @@ X (Low) e.g. probably not worth spending time on *** Outstanding bugs to investigate +A Re-visiting files (in Isar, at least) doesn't lock them properly. + M-x isar-mode does. Why? + Also, when files are removed by typing in shell buffer, they + don't get uncoloured??? + C Undoing comments with FSF Emacs weirdness. Noticed with Emacs 20.6.1. Seems to affect all provers. Workaround: use C-c C-RET or C-c C-r instead. |