diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2000-06-06 14:28:09 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2000-06-06 14:28:09 +0000 |
commit | e8ce32c111488264af88d0bbd77ea341c95a9e34 (patch) | |
tree | 69b8632b7b1d4a7b46ed6a44b0e676c151d341eb /todo | |
parent | 1f3c6ec9eed73781ecee93e50526317ae411fdbb (diff) |
todo for C-c C-l to fix point
Diffstat (limited to 'todo')
-rw-r--r-- | todo | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -54,6 +54,9 @@ X Solaris bugs: font locking and button enabling. *** Scheduled improvements for 3.2 +**** A make C-c C-l go to bottom of response buffer while output + is arriving (set-window-point (point)) or similar. + **** A Doc new bits: proof-next-error **** A Doc new bits: font lock keywords, filename %e, %r. |