From eee32cf272ec5c896f120e23aa74eb039ee99fa2 Mon Sep 17 00:00:00 2001
From: Thomas Kleymann
Date: Tue, 13 Oct 1998 11:12:26 +0000
Subject: Disabled font-lock in process buffer

---
 todo | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'todo')

diff --git a/todo b/todo
index 6ced93e4..b346b287 100644
--- a/todo
+++ b/todo
@@ -14,10 +14,6 @@ X (Low)    probably not worth wasting time on
 * This is a list of things which need doing in the generic interface
 ====================================================================
 
-A Bug in proof-shell-handle-output run on FSF Emacs, gives error
-  (wrong-type-argument markerp nil) when font-lock-fontify-region
-  is called to fontify the shell buffer.
-
 B proof-issue-goal should refuse to work when a proof is in progress.
   Similarly proof-issue-save should refuse to work when a proof
   hasn't been completed!
-- 
cgit v1.2.3