Personal_mirrors/bitburner-src
1
0
Fork 0
mirror of https://github.com/bitburner-official/bitburner-src.git synced 2024-12-23 14:42:28 +01:00
Code Issues Packages Projects Releases Wiki Activity

Fix ansi background spacing (#219)

Browse Source
This commit is contained in:
Snarling 2022-11-21 11:08:36 -05:00 committed by GitHub
parent 387c0c2786
commit 79fd5f6089
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/ui/React/ANSIITypography.tsx
View File

@ -3,6 +3,7 @@ import React from "react";
import makeStyles from "@mui/styles/makeStyles"; import makeStyles from "@mui/styles/makeStyles";
import createStyles from "@mui/styles/createStyles"; import createStyles from "@mui/styles/createStyles";
import { Theme } from "@mui/material/styles"; import { Theme } from "@mui/material/styles";
import { Settings } from "../../Settings/Settings";
// This particular eslint-disable is correct. // This particular eslint-disable is correct.
// In this super specific weird case we in fact do want a regex on an ANSII character. // In this super specific weird case we in fact do want a regex on an ANSII character.
@ -16,30 +17,35 @@ const useStyles = makeStyles((theme: Theme) =>
overflowWrap: "anywhere", overflowWrap: "anywhere",
margin: theme.spacing(0), margin: theme.spacing(0),
color: theme.colors.success, color: theme.colors.success,
"--padForFlushBg": (Settings.styles.lineHeight - 1) / 2 + "em",
}, },
error: { error: {
whiteSpace: "pre-wrap", whiteSpace: "pre-wrap",
overflowWrap: "anywhere", overflowWrap: "anywhere",
margin: theme.spacing(0), margin: theme.spacing(0),
color: theme.palette.error.main, color: theme.palette.error.main,
"--padForFlushBg": (Settings.styles.lineHeight - 1) / 2 + "em",
}, },
primary: { primary: {
whiteSpace: "pre-wrap", whiteSpace: "pre-wrap",
overflowWrap: "anywhere", overflowWrap: "anywhere",
margin: theme.spacing(0), margin: theme.spacing(0),
color: theme.palette.primary.main, color: theme.palette.primary.main,
"--padForFlushBg": (Settings.styles.lineHeight - 1) / 2 + "em",
}, },
info: { info: {
whiteSpace: "pre-wrap", whiteSpace: "pre-wrap",
overflowWrap: "anywhere", overflowWrap: "anywhere",
margin: theme.spacing(0), margin: theme.spacing(0),
color: theme.palette.info.main, color: theme.palette.info.main,
"--padForFlushBg": (Settings.styles.lineHeight - 1) / 2 + "em",
}, },
warning: { warning: {
whiteSpace: "pre-wrap", whiteSpace: "pre-wrap",
overflowWrap: "anywhere", overflowWrap: "anywhere",
margin: theme.spacing(0), margin: theme.spacing(0),
color: theme.palette.warning.main, color: theme.palette.warning.main,
"--padForFlushBg": (Settings.styles.lineHeight - 1) / 2 + "em",
}, },
}), }),
); );
@ -220,7 +226,7 @@ function ansiCodeStyle(code: string | null): Record<string, any> {
// If a background color is set, add slight padding to increase the background fill area. // If a background color is set, add slight padding to increase the background fill area.
// This was previously display:inline-block, but that has display errors when line breaks are used. // This was previously display:inline-block, but that has display errors when line breaks are used.
if (style.backgroundColor) { if (style.backgroundColor) {
style.padding = "0px 1px"; style.padding = "var(--padForFlushBg) 0px";
} }
return style; return style;
} }