Repository navigation

Reload editor on preference changes - #122

Merged

lukepistrol merged 4 commits into

CodeEditApp:mainfrom

ben-p-commits:reload-editor

Jan 18, 2023

Merged

Reload editor on preference changes#122
lukepistrol merged 4 commits into
CodeEditApp:mainfrom
ben-p-commits:reload-editor

Commits on Jan 18, 2023
- Add logic for ensuring attribute updates when font or baselineoffset are changed in preferences.
  Ben Palmer
  committed
  42f7138
- Merge branch 'main' into reload-editor
  ben-p-commits
  authored
  ab6a7f3
- invalidate highlights after setting standard attributes. prevents zeroing of highlights
  Ben Palmer
  committed
  ab08d01
- Merge branch 'reload-editor' of github.com:ben-p-commits/CodeEditTextView into reload-editor
  Ben Palmer
  committed
  5e654be