minor UI tweaks
This commit is contained in:
@@ -17,6 +17,8 @@ const DEFAULT_SETTINGS = {
|
||||
theme: "system",
|
||||
toolbarAutoHide: true,
|
||||
alwaysShowOutput: false,
|
||||
alwaysUseDefaultEnvProfile: false,
|
||||
emptyToolbarBehavior: "open",
|
||||
workspaces: []
|
||||
};
|
||||
|
||||
|
||||
Reference in New Issue
Block a user