Package: emacs23 Version: 23.3+1-1 Proof General (which is an emacs based frontend for automatic theorem provers) can display parts of formulas using unicode characters. In recent versions of emacs, these get truncated (i.e. the corresponding character cells are too narrow to contain the character.)
This problem has been reported and fixed upstream, http://debbugs.gnu.org/cgi/bugreport.cgi?bug=8703 Since it's unclear when the next emacs release will be (at least I could not find any information about that), and since this is an actual usability propblem with a fairly simple fix, it would be great if the Debian package would incorporate that patch. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
