diff options
| author | Craig Jennings <c@cjennings.net> | 2026-05-05 05:21:28 -0500 |
|---|---|---|
| committer | Craig Jennings <c@cjennings.net> | 2026-05-05 05:21:28 -0500 |
| commit | 6afd53b644c9b1fe0592892464c2d7fb37fa29e7 (patch) | |
| tree | 1769d6b60937e71c395ddef67e9e5bfcd58f8a97 /scripts/coverage-summary.py | |
| parent | 7f7564612628d31718c2fc1e4471ab7fa29ef3c1 (diff) | |
| download | org-drill-6afd53b644c9b1fe0592892464c2d7fb37fa29e7.tar.gz org-drill-6afd53b644c9b1fe0592892464c2d7fb37fa29e7.zip | |
fix: restore display state in the buffer setup ran in
org-drill--setup-display saved buffer-local state (mode-line,
variable-pitch-mode) into global defvars and called setq-local on
the current buffer. org-drill--restore-display read those globals
and ran setq-local against whatever buffer happened to be current
at restore time.
If the user switched buffers mid-session, the restore wrote to the
wrong buffer — leaving the original drill buffer's mode-line still
hidden and trampling the destination buffer's mode-line with
whatever was saved from elsewhere.
Captured the buffer at setup in org-drill--saved-display-buffer.
Restore now wraps mode-line and variable-pitch restoration in
with-current-buffer against that saved buffer. Text-scale stays
global (the underlying face attribute is process-wide).
Diffstat (limited to 'scripts/coverage-summary.py')
0 files changed, 0 insertions, 0 deletions