diff options
| author | Nate Sesti <sestinj@gmail.com> | 2023-09-24 11:27:24 -0700 |
|---|---|---|
| committer | Nate Sesti <sestinj@gmail.com> | 2023-09-24 11:27:24 -0700 |
| commit | 4ea176007d2228364d4d3fa4519898047cef988f (patch) | |
| tree | cc42a2c6c7cc5a449bd5c3891323b881350d6edd /extension/react-app/src/components/EditableDiv.tsx | |
| parent | 8c5f00155fe2d15a77bde21de72b07969c5561af (diff) | |
| download | sncontinue-4ea176007d2228364d4d3fa4519898047cef988f.tar.gz sncontinue-4ea176007d2228364d4d3fa4519898047cef988f.tar.bz2 sncontinue-4ea176007d2228364d4d3fa4519898047cef988f.zip | |
feat: :lipstick: setting to change font size
Diffstat (limited to 'extension/react-app/src/components/EditableDiv.tsx')
| -rw-r--r-- | extension/react-app/src/components/EditableDiv.tsx | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/extension/react-app/src/components/EditableDiv.tsx b/extension/react-app/src/components/EditableDiv.tsx index a86bd692..1c295843 100644 --- a/extension/react-app/src/components/EditableDiv.tsx +++ b/extension/react-app/src/components/EditableDiv.tsx @@ -5,12 +5,13 @@ import { secondaryDark, vscForeground, } from "."; +import { getFontSize } from "../util"; -const Div = styled.div` +const Div = styled.div<{ fontSize?: number }>` resize: none; padding: 8px; - font-size: 13px; + font-size: ${(props) => props.fontSize || getFontSize()}px; font-family: inherit; border-radius: ${defaultBorderRadius}; margin: 8px auto; @@ -45,6 +46,7 @@ interface EditableDivProps { function EditableDiv(props: EditableDivProps) { return ( <Div + fontSize={getFontSize()} suppressContentEditableWarning={true} contentEditable={true} onChange={(e) => { |