| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
restart).
|
|
|
|
|
|
|
|
Now will insert into any buffer at point, or behave as mouse-track-insert
when called over a non-span (or non-vanilla command span).
|
|
C-button1
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Added extra doc strings to hair macro definitions of functions.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
However, this is faulty: seems to be a race condition somewhere
so that refreshing clears the "refresh wanted" flag, but the toolbar
suggests that the proof process is busy when it isn't.
|
|
|
|
Added proof-toolbar-refresh to after-change-functions. Makes for
a flickery toolbar, unfortunately.
|
|
|
|
|
|
|
|
|
|
|
|
Fix for FSF Emacs.
|
|
(allowed a bunch of regexps to be unset, safely).
|
|
This results in some flickering of the toolbar (buttons disabled while
region is pink), but is The Right Thing.
Removed "Inferior" from buffer names.
|
|
Simplified many of the toolbar functions to be aliases, and remove
explicit check on enabler condition [although may want to add this
back in uniformly to allow toolbar buttons to be called elsewhere?].
|
|
|
|
|
|
Comments and variable ordering tweaked.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
