diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2003-02-19 11:55:14 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2003-02-19 11:55:14 +0000 |
| commit | d20c700fb74490a3f3287a963e33c4b8bb6459ee (patch) | |
| tree | 8b9ee2addb4e6b5ba74511df8970bbce28f429eb /BUGS | |
| parent | 4c1b7e66cd1844149963d42855e55f65c5109204 (diff) | |
Leave packages' own hooks (X-Symbol, MMM) to deal with turning on or
off minor modes in buffers automatically. Now the PG setting controls
the "default global for PG buffers" for each of these. The menu
checkbox simply displays the current minor mode status. When this
is changed, the PG global mode follows suit. We do not try to
apply the change to all PG buffers (30 minutes of fontification!).
Diffstat (limited to 'BUGS')
0 files changed, 0 insertions, 0 deletions