Skip to content

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

Merge branch 'reload-editor' of github.com:ben-p-commits/CodeEditText…

5e654be
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs