While trying your first batch of improvements, I noticed that scratch buffer is editable. I've had some weird things happening after editing that buffer, but nothing was reproducible enough. Still though, I suggest making it read-only, as befits a menu.
While trying your first batch of improvements, I noticed that scratch buffer is editable. I've had some weird things happening after editing that buffer, but nothing was reproducible enough. Still though, I suggest making it read-only, as befits a menu.