diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-09-29 17:27:18 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-09-29 17:27:18 +0000 |
| commit | d619e9bb6bc0a5cc04db72607b6c6f75b86fe51f (patch) | |
| tree | af98ac2d0b724a9afdfa80d09d21abb4a66d9b96 /BUGS | |
| parent | a5b7c93c41d19c6448d189a06118c41c7e629167 (diff) | |
Inherent problem with Emacs in console mode: no face support
Diffstat (limited to 'BUGS')
| -rw-r--r-- | BUGS | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -88,6 +88,12 @@ simplifier, when tracing rewriting. Also, proof assistant specific menus only appear in scripting buffer. These are drawbacks with FSF Emacs menu support. +** Emacs faces sometimes faulty, esp in console mode + +Emacs support is let down in console mode, because faces are not +implemented there. (XEmacs can use colours and underline in console +mode) + ** XEmacs 21.1.9 on Win32 Some strange problems reading files with this version of Emacs. Gives |