diff options
| author | David Aspinall | 2004-04-18 10:36:55 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-04-18 10:36:55 +0000 |
| commit | d285896914fff3ff5b421440ffd28b612f6cb930 (patch) | |
| tree | 2546c3a87d97ffd05fe8ea3b4335767232ea82dc /BUGS | |
| parent | a06e69d37061ae9bde69c6d1aa6c8f932bd12236 (diff) | |
Try to stop frame proliferation: let proof-shell-start make frames,
proof-shell-kill tear them down. Add proof-shell-fiddle-frames incase
this causes mass customer annoyance.
Also move point of specifier setting to after mode has been configured
for associated buffer; this makes settings persist better on XEmacs.
Diffstat (limited to 'BUGS')
0 files changed, 0 insertions, 0 deletions