import styled from "styled-components"; import { defaultBorderRadius, lightGray, secondaryDark, vscForeground, } from "."; import { getFontSize } from "../util"; const Div = styled.div<{ fontSize?: number }>` resize: none; padding: 8px; font-size: ${(props) => props.fontSize || getFontSize()}px; font-family: inherit; border-radius: ${defaultBorderRadius}; margin: 8px auto; height: auto; width: 100%; background-color: ${secondaryDark}; color: ${vscForeground}; z-index: 1; border: 1px solid transparent; &:focus { outline: 1px solid ${lightGray}; border: 1px solid transparent; } &::placeholder { color: ${lightGray}80; } `; const Span = styled.span<{ color?: string }>` background-color: ${(props) => props.color || "#2cf8"}; border-radius: ${defaultBorderRadius}; padding: 2px 4px; `; interface EditableDivProps { onChange: (e: any) => void; value?: string; } function EditableDiv(props: EditableDivProps) { return (