diff --git a/src/app/workspace/cmdinput/cmdInput.less b/src/app/workspace/cmdinput/cmdInput.less index 65bd6d60..9a271fb5 100644 --- a/src/app/workspace/cmdinput/cmdInput.less +++ b/src/app/workspace/cmdinput/cmdInput.less @@ -89,15 +89,21 @@ textarea { color: @term-bright-white; - background-color: transparent; + background-color: @textarea-background; padding: 0.5em; resize: none; overflow: auto; overflow-wrap: anywhere; border-color: transparent; + border: none; &.display-disabled { background-color: #444; } + + &:focus { + box-shadow: none; + border: none; + } } input.history-input { diff --git a/src/app/workspace/cmdinput/textareainput.tsx b/src/app/workspace/cmdinput/textareainput.tsx index 238d3fce..592b5ea5 100644 --- a/src/app/workspace/cmdinput/textareainput.tsx +++ b/src/app/workspace/cmdinput/textareainput.tsx @@ -534,8 +534,11 @@ class TextAreaInput extends React.Component<{ onHeightChange: () => void }, {}> if (activeScreen != null) { activeScreen.focusType.get(); // for reaction } - let computedInnerHeight = (displayLines + 1) * GlobalModel.termFontSize.get() + 4; - let computedOuterHeight = (displayLines + 2) * GlobalModel.termFontSize.get(); + let termFontSize = GlobalModel.termFontSize.get(); + // fontSize*1.5 (line-height) + 2 * 0.5em padding + let computedInnerHeight = displayLines * (termFontSize * 1.5) + 2 * 0.5 * termFontSize; + // inner height + 2*1em padding + let computedOuterHeight = computedInnerHeight + 2 * 1.0 * termFontSize; return (