diff --git a/src/app/line/linecomps.tsx b/src/app/line/linecomps.tsx index bd10dc46..228103e3 100644 --- a/src/app/line/linecomps.tsx +++ b/src/app/line/linecomps.tsx @@ -607,6 +607,11 @@ class LineCmd extends React.Component< } let rendererType = lineutil.getRendererType(line); let hidePrompt = rendererPlugin != null && rendererPlugin.hidePrompt; + let termFontSize = GlobalModel.termFontSize.get(); + let rtnStateDiffSize = termFontSize - 2; + if (rtnStateDiffSize < 10) { + rtnStateDiffSize = Math.max(termFontSize, 10); + } return (
state unchanged
-
new state
-
{this.rtnStateDiff.get()}
+
new state
+
{this.rtnStateDiff.get()}
diff --git a/src/app/line/lines.less b/src/app/line/lines.less index bbfee5a8..3d0c69dc 100644 --- a/src/app/line/lines.less +++ b/src/app/line/lines.less @@ -82,6 +82,7 @@ .meta.meta-line1 { margin-left: 2px; color: rgba(@base-color, 0.6) !important; + font-size: 11px; } &.has-rtnstate .terminal-wrapper { @@ -129,19 +130,23 @@ position: relative; .cmd-rtnstate-label { + font-family: @terminal-font; position: relative; z-index: 2; margin: 6px 0 -2px 10px; - padding: 2px 5px 2px 5px; + padding: 2px 5px 2px 0px; display: inline-block; font-size: 0.8em; opacity: 0.5; } .cmd-rtnstate-diff { + font-family: @terminal-font; color: @term-white; white-space: pre; margin-left: 15px; + font-size: 11px; + line-height: 1.2; } } } @@ -174,6 +179,9 @@ &.line-simple { flex-direction: row; + font-size: 11px; + line-height: 1.2; + color: rgba(@base-color, 0.6); .ts { display: flex; @@ -294,7 +302,7 @@ &.status-error { .status-icon { - color: #cc0000; + color: @error-red; } } @@ -328,6 +336,7 @@ display: flex; flex-direction: column; justify-content: flex-start; + line-height: 1.2; } .meta { diff --git a/src/plugins/terminal/terminal.tsx b/src/plugins/terminal/terminal.tsx index 5bc4c67f..7def95f1 100644 --- a/src/plugins/terminal/terminal.tsx +++ b/src/plugins/terminal/terminal.tsx @@ -150,7 +150,8 @@ class TerminalRenderer extends React.Component< .get(); let cmd = screen.getCmd(line); // will not be null let usedRows = screen.getUsedRows(lineutil.getRendererContext(line), line, cmd, width); - let termHeight = termHeightFromRows(usedRows, GlobalModel.termFontSize.get()); + // TODO: replace the +2 with some calculation based on termFontSize. the +2 is for descenders, which get cut off without this. + let termHeight = termHeightFromRows(usedRows, GlobalModel.termFontSize.get()) + 2; let termLoaded = this.termLoaded.get(); return (