diff options
Diffstat (limited to 'extension/react-app/src/pages')
| -rw-r--r-- | extension/react-app/src/pages/gui.tsx | 2 | ||||
| -rw-r--r-- | extension/react-app/src/pages/settings.tsx | 24 | 
2 files changed, 22 insertions, 4 deletions
| diff --git a/extension/react-app/src/pages/gui.tsx b/extension/react-app/src/pages/gui.tsx index f6a09bbc..576abd40 100644 --- a/extension/react-app/src/pages/gui.tsx +++ b/extension/react-app/src/pages/gui.tsx @@ -279,7 +279,7 @@ function GUI(props: GUIProps) {        }        // cmd+enter to /edit -      if (isMetaEquivalentKeyPressed(event)) { +      if (event && isMetaEquivalentKeyPressed(event)) {          input = `/edit ${input}`;        }        (mainTextInputRef.current as any).setInputValue(""); diff --git a/extension/react-app/src/pages/settings.tsx b/extension/react-app/src/pages/settings.tsx index 4bd51163..cb269d7b 100644 --- a/extension/react-app/src/pages/settings.tsx +++ b/extension/react-app/src/pages/settings.tsx @@ -6,18 +6,18 @@ import { useNavigate } from "react-router-dom";  import { ContinueConfig } from "../../../schema/ContinueConfig";  import {    Button, +  NumberInput,    TextArea,    lightGray,    secondaryDark,    vscBackground,  } from "../components";  import styled from "styled-components"; -import { ArrowLeftIcon, Squares2X2Icon } from "@heroicons/react/24/outline"; +import { ArrowLeftIcon } from "@heroicons/react/24/outline";  import Loader from "../components/Loader";  import InfoHover from "../components/InfoHover";  import { FormProvider, useForm } from "react-hook-form"; -import { setDialogMessage, setShowDialog } from "../redux/slices/uiStateSlice"; -import KeyboardShortcutsDialog from "../components/dialogs/KeyboardShortcuts"; +import { getFontSize } from "../util";  const Hr = styled.hr`    border: 0.5px solid ${lightGray}; @@ -219,6 +219,24 @@ function Settings() {            )}          </form> +        <hr /> + +        <div className="px-2"> +          <h3>Appearance</h3> + +          <p>Font Size</p> +          <NumberInput +            type="number" +            min="8" +            max="48" +            step="1" +            defaultValue={getFontSize()} +            onChange={(e) => { +              localStorage.setItem("fontSize", e.target.value); +            }} +          /> +        </div> +          <div className="flex gap-2 justify-end px-4">            <CancelButton              onClick={() => { | 
