Merge pull request #268 from lorenzomigliorero/fix/terminal-select-text

fix: terminal monospace font
This commit is contained in:
Mauricio Siu 2024-07-24 23:16:16 -06:00 committed by GitHub
commit d3a2b03bb7
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
2 changed files with 4 additions and 7 deletions

View File

@ -23,8 +23,11 @@ export const DockerLogsId: React.FC<Props> = ({ id, containerId }) => {
cursorBlink: true,
cols: 80,
rows: 30,
lineHeight: 1.4,
lineHeight: 1.25,
fontWeight: 400,
fontSize: 14,
fontFamily:
'ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace',
convertEol: true,
theme: {

View File

@ -102,12 +102,6 @@
}
}
#terminal span {
font-family: "Inter", sans-serif;
font-weight: 500;
letter-spacing: 0px !important;
}
/* Codemirror */
.cm-editor {
@apply w-full h-full rounded-md overflow-hidden border border-solid border-border outline-none;