diff --git a/src/renderer/components/+preferences/application.tsx b/src/renderer/components/+preferences/application.tsx index 99edcfe84e..8241b65450 100644 --- a/src/renderer/components/+preferences/application.tsx +++ b/src/renderer/components/+preferences/application.tsx @@ -10,7 +10,6 @@ import { Select, SelectOption } from "../select"; import { ThemeStore } from "../../theme.store"; import { UserStore } from "../../../common/user-store"; import { Input } from "../input"; -import { isWindows } from "../../../common/vars"; import { Switch } from "../switch"; import moment from "moment-timezone"; import { CONSTANTS, defaultExtensionRegistryUrl, ExtensionRegistryLocation } from "../../../common/user-store/preferences-helpers"; @@ -30,69 +29,23 @@ const updateChannelOptions: SelectOption[] = Array.from( export const Application = observer(() => { const userStore = UserStore.getInstance(); - const defaultShell = process.env.SHELL - || process.env.PTYSHELL - || ( - isWindows - ? "powershell.exe" - : "System default shell" - ); - const [customUrl, setCustomUrl] = React.useState(userStore.extensionRegistryUrl.customUrl || ""); - const [shell, setShell] = React.useState(userStore.shell || ""); const extensionSettings = AppPreferenceRegistry.getInstance().getItems().filter((preference) => preference.showInPreferencesTab === "application"); - const themeStore = ThemeStore.getInstance(); return (

Application

- + userStore.terminalTheme = value} - /> -
- -
- - userStore.shell = shell} - /> -
- -
- - userStore.terminalCopyOnSelect = !userStore.terminalCopyOnSelect} - > - Copy on select and paste on right-click - -
- -
+
diff --git a/src/renderer/components/+preferences/terminal.tsx b/src/renderer/components/+preferences/terminal.tsx index dd431476aa..49fb6ddc08 100644 --- a/src/renderer/components/+preferences/terminal.tsx +++ b/src/renderer/components/+preferences/terminal.tsx @@ -24,6 +24,7 @@ import { UserStore } from "../../../common/user-store"; import { SubTitle } from "../layout/sub-title"; import { Input } from "../input"; import { isWindows } from "../../../common/vars"; +import { Switch } from "../switch"; export const Terminal = observer(() => { const userStore = UserStore.getInstance(); @@ -47,5 +48,17 @@ export const Terminal = observer(() => { onBlur={() => userStore.shell = shell} />
+ +
+ + userStore.terminalCopyOnSelect = !userStore.terminalCopyOnSelect} + > + Copy on select and paste on right-click + +
+ +
); });