Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merged console and editor settings stuff
So the Editor and Console etc share one set of settings: - Merged Editor and Console settings-tabs in one Settings tab in the settings dialog - Removed the Editor ui from the settings dialog - Changed all names of settings in Editor so it uses the normal/console settings
- Loading branch information
1 parent
a48e85a
commit 09fc2e6
Showing
4 changed files
with
94 additions
and
408 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.