Restore re-rendering of editors on buffer font size changes (#4064)

Now that views are cached, we need to explicitly `.notify()` text
editors when the buffer font size changes.

* [x] Notify editors when settings change, or adjusting buffer font size
* [x] Figure out why non-focused editors still do not re-render when
adjusting buffer font size
* [x] Reset buffer font size adjustment when the size is updated in the
user's settings
deac172e39Max Brunsfeld committed on 1/16/2024, 1:13:13 AM· committed by GitHubparentsf220323d84785f
5 files changedLine totals unavailable