Skip to content

#2677 - Make it possible to hide the editor preference menu in the editor#3834

Merged
reckart merged 1 commit intomainfrom feature/2677-Make-it-possible-to-hide-the-editor-preference-menu-in-the-editorFeb 27, 2023
+86-33

Commits

Commits on Feb 27, 2023