Upstream/waveterm
1
0
Fork 0
mirror of https://github.com/wavetermdev/waveterm.git synced 2025-02-22 02:41:23 +01:00
Code Issues Packages Projects Releases Wiki Activity

more minor fixups, sizing, background colors, etc.

Browse Source
This commit is contained in:
sawka 2023-10-12 12:58:05 -07:00
parent b96d97855b
commit 067767c70e
3 changed files with 7 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/app/line/linecomps.tsx
View File

@ -371,10 +371,10 @@ class LineCmd extends React.Component<
getTerminalRendererHeight(cmd: Cmd): number {
let { screen, line, width, renderMode } = this.props;
let height = 36 + 6; // height of zero height terminal
let height = 45 + 24; // height of zero height terminal
let usedRows = screen.getUsedRows(lineutil.getRendererContext(line), line, cmd, width);
if (usedRows > 0) {
height = 36 + 6 + 11 + termHeightFromRows(usedRows, GlobalModel.termFontSize.get());
height = 48 + 24 + termHeightFromRows(usedRows, GlobalModel.termFontSize.get());
}
return height;
}

4
src/app/workspace/screen/screenview.less
View File

@ -89,8 +89,8 @@
color: @term-white;
code {
background-color: @term-black;
color: #4e9a06;
color: @prompt-green;
background-color: transparent;
}
&.should-fade {

3
src/plugins/terminal/terminal.tsx
View File

@ -152,6 +152,9 @@ class TerminalRenderer extends React.Component<
let usedRows = screen.getUsedRows(lineutil.getRendererContext(line), line, cmd, width);
// 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;
if (usedRows === 0) {
termHeight = 0;
}
let termLoaded = this.termLoaded.get();
return (
<div