Custom Query (361 matches)

Editing document sets the parse edit offset, the position from which parsing begins next time.

The code for adjusting this had faulty logic in earlier versions. It was fixed but seems to have broken again, perhaps with parser adjustments. This causes bad breakage because it gets difficult to edit text.

[Reported by Michaël Cadilhac]

I'm an Emacs22 user of Proof General, and I experienced some bugs with buffer-invisibility-spec on several occasions.

In GNU Emacs 22.0.93.6 (i686-pc-linux-gnu, X toolkit, Xaw3d scroll bars)
 of 2007-02-09 on mistral
X server distributor `The X.Org Foundation', version 11.0.70101000
configured using `configure  '--prefix=/usr' 'CFLAGS=-O0 -ggdb''

The problem arose when buffer-invisibility-spec was of the form ((smthg . t) t).

Note, I don't know if the patch breaks something with XEmacs. Maybe the following functions aren't defined:

(defun add-to-invisibility-spec (element)
  "Add ELEMENT to `buffer-invisibility-spec'.
See documentation for `buffer-invisibility-spec' for the kind of elements
that can be added."
  (if (eq buffer-invisibility-spec t)
      (setq buffer-invisibility-spec (list t)))
  (setq buffer-invisibility-spec
	(cons element buffer-invisibility-spec)))

(defun remove-from-invisibility-spec (element)
  "Remove ELEMENT from `buffer-invisibility-spec'."
  (if (consp buffer-invisibility-spec)
    (setq buffer-invisibility-spec (delete element buffer-invisibility-spec))))

PGML does not have this markup. Subscript and superscript, at least, are important for Isabelle display.