mirror of
https://github.com/lensapp/lens.git
synced 2025-05-20 05:10:56 +00:00
* Add font settings for editor. Add terminal tab Signed-off-by: DMYTRO ZHARKOV <dmytrozharkov@DMYTROs-MBP.fritz.box> * Move shell settings to terminal tab Signed-off-by: DMYTRO ZHARKOV <dmytrozharkov@DMYTROs-MBP.fritz.box> * Add termilan font settings to store Signed-off-by: DMYTRO ZHARKOV <dmytrozharkov@DMYTROs-MBP.fritz.box> * Fix store crash Signed-off-by: DMYTRO ZHARKOV <dmytrozharkov@DMYTROs-MBP.fritz.box> * Cleanup Signed-off-by: DMYTRO ZHARKOV <dmytrozharkov@DMYTROs-MBP.fritz.box> * Remove unsued font-list Signed-off-by: DMYTRO ZHARKOV <dmytrozharkov@DMYTROs-MBP.fritz.box> * Cleanup. Move default font size to a const Signed-off-by: DMYTRO ZHARKOV <dmytrozharkov@DMYTROs-MBP.fritz.box> * Remove package.lock Signed-off-by: DMYTRO ZHARKOV <dmytrozharkov@DMYTROs-MBP.fritz.box> * PR fixes and cleanup Signed-off-by: DMYTRO ZHARKOV <dmytrozharkov@DMYTROs-MBP.fritz.box> * Move to settings object Signed-off-by: DMYTRO ZHARKOV <dmytrozharkov@DMYTROs-MBP.fritz.box> * Test Signed-off-by: DMYTRO ZHARKOV <dmytrozharkov@DMYTROs-MBP.fritz.box> * Add reaction to update terminals. Cleanup Signed-off-by: DMYTRO ZHARKOV <dmytrozharkov@DMYTROs-MBP.fritz.box> * Add config field to terminal Signed-off-by: DMYTRO ZHARKOV <dmytrozharkov@DMYTROs-MBP.fritz.box> * Merge with master and resolve conflicts Signed-off-by: DMYTRO ZHARKOV <dmytrozharkov@DMYTROs-MBP.fritz.box> * Fix merge issues Signed-off-by: DMYTRO ZHARKOV <dmytrozharkov@DMYTROs-MBP.fritz.box> * Fix lint and resolve conflicts Signed-off-by: DMYTRO ZHARKOV <dmytrozharkov@DMYTROs-MBP.fritz.box> Co-authored-by: DMYTRO ZHARKOV <dmytrozharkov@DMYTROs-MBP.fritz.box>
83 lines
2.3 KiB
TypeScript
83 lines
2.3 KiB
TypeScript
/**
|
|
* Copyright (c) OpenLens Authors. All rights reserved.
|
|
* Licensed under MIT License. See LICENSE in root directory for more information.
|
|
*/
|
|
|
|
import React from "react";
|
|
import { observer } from "mobx-react";
|
|
import { UserStore } from "../../../common/user-store";
|
|
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 defaultShell = process.env.SHELL
|
|
|| process.env.PTYSHELL
|
|
|| (
|
|
isWindows
|
|
? "powershell.exe"
|
|
: "System default shell"
|
|
);
|
|
|
|
return (<div>
|
|
<section id="shell">
|
|
<SubTitle title="Terminal Shell Path"/>
|
|
<Input
|
|
theme="round-black"
|
|
placeholder={defaultShell}
|
|
value={userStore.shell}
|
|
onChange={(value) => userStore.shell = value}
|
|
/>
|
|
</section>
|
|
|
|
<section id="terminalSelection">
|
|
<SubTitle title="Terminal copy & paste" />
|
|
<Switch
|
|
checked={userStore.terminalCopyOnSelect}
|
|
onChange={() => userStore.terminalCopyOnSelect = !userStore.terminalCopyOnSelect}
|
|
>
|
|
Copy on select and paste on right-click
|
|
</Switch>
|
|
</section>
|
|
|
|
<section id="terminalTheme">
|
|
<SubTitle title="Terminal theme" />
|
|
<Select
|
|
themeName="lens"
|
|
options={[
|
|
{ label: "Match theme", value: "" },
|
|
...themeStore.themeOptions,
|
|
]}
|
|
value={userStore.terminalTheme}
|
|
onChange={({ value }) => userStore.terminalTheme = value}
|
|
/>
|
|
</section>
|
|
|
|
<section>
|
|
<SubTitle title="Font size"/>
|
|
<Input
|
|
theme="round-black"
|
|
type="number"
|
|
min={10}
|
|
validators={InputValidators.isNumber}
|
|
value={userStore.terminalConfig.fontSize.toString()}
|
|
onChange={(value) => userStore.terminalConfig.fontSize=Number(value)}
|
|
/>
|
|
</section>
|
|
<section>
|
|
<SubTitle title="Font family"/>
|
|
<Input
|
|
theme="round-black"
|
|
type="text"
|
|
value={userStore.terminalConfig.fontFamily}
|
|
onChange={(value) => userStore.terminalConfig.fontFamily=value}
|
|
/>
|
|
</section>
|
|
</div>);
|
|
});
|