diff options
| author | David Aspinall | 1999-10-06 10:43:01 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-10-06 10:43:01 +0000 |
| commit | 33c9c384ad99710754412d7603da7505fd3b6394 (patch) | |
| tree | db7235f77de10475bc2afe9b96170eb8af5d0b06 /html/htmlshow.phtml | |
| parent | ec1483c11de67a790d3c75fad2d083b836ca0c9d (diff) | |
Added proof-retract-buffer symmetric to proof-process-buffer.
Added question to user when switching scripting buffer,
and new option proof-auto-retract-other-buffers to disable question.
This reimplements the old "steal scripting?" idea.
Diffstat (limited to 'html/htmlshow.phtml')
0 files changed, 0 insertions, 0 deletions