Re: [isabelle] Does anyone know how to get rid of => marker in PG4.0?
=>mma "1 + 1 = 2" oops
I've also seen this marker, but only as a small graphical triangle left
of the text area. (This was something like GNU Emacs 23.1.1.)
I replied off list to Rafal as I didn't try the fix:
(setq overlay-arrow-string "")
This marker is shown as text in tty mode when the graphical triangle
isn't available. It has the same overwriting behaviour where it's used
in other Emacs modes (e.g., edebug). The arrow doesn't get in the way
when the text is indented beyond the first column.
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.
This archive was generated by a fusion of
Pipermail (Mailman edition) and