diff --git a/src/renderer/components/+preferences/terminal.tsx b/src/renderer/components/+preferences/terminal.tsx index cd0a0be1fa..d44e3cb28b 100644 --- a/src/renderer/components/+preferences/terminal.tsx +++ b/src/renderer/components/+preferences/terminal.tsx @@ -25,9 +25,12 @@ import { SubTitle } from "../layout/sub-title"; import { Input, InputValidators } from "../input"; import { isWindows } from "../../../common/vars"; import { Switch } from "../switch"; +import { Select } from "../select"; +import { ThemeStore } from "../../theme.store"; export const Terminal = observer(() => { const userStore = UserStore.getInstance(); + const themeStore = ThemeStore.getInstance(); const [terminalSettings, setTerminalSettings] = React.useState({ shell: userStore.shell || "", terminalFontSize: userStore.terminalConfig.fontSize, @@ -65,6 +68,20 @@ export const Terminal = observer(() => { Copy on select and paste on right-click + +
+ +