diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2002-03-21 16:01:21 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2002-03-21 16:01:21 +0000 |
commit | 52e54ba185792b5b18cf1fa26e8e592fdd1b8be7 (patch) | |
tree | 0051e47b19e9f7f72925fc0d5ff55c0862a1fd3b /generic/pg-pgip.el | |
parent | 6d00dbd2fc98284441e116f79a1e3424ec079005 (diff) |
Remove toolbar gutters in multiple frame mode. Add proof-shell-truncate-before-error setting.
Diffstat (limited to 'generic/pg-pgip.el')
0 files changed, 0 insertions, 0 deletions