Extend the theme to elements of the editor - #95
Open
Jeroendevr wants to merge 2 commits into
Open
Jeroendevr wants to merge 2 commits into
Jeroendevr wants to merge 2 commits into
Commits
Commits on Dec 2, 2021
- committed
Jeroendevr
Commits on Dec 7, 2021
- authored andcommitted

