дзеркало
https://github.com/l0ng-ai/openidea.git
синхронізовано 2026-11-08 19:02:17 +02:00
胡翀
55f42d2771
Root cause: the editor had no font weight settings, and the WebView rendering of JetBrains Mono looks lighter than IDEA (#32). Fix (IDEA's Settings › Editor › Font › Typography Settings): configurable Main font weight and Bold font weight (defaults Regular 400 / Bold 700) via --fw-code / --fw-code-bold; colour-scheme bold/regular overrides still win; settings preview updates live. Replaces the Light-only 450/550 hard-coding. Siblings covered: sticky lines, diff/merge, run console (ANSI bold), Find in Files, completion/parameter info/docs, database editor, debugger value popup, matched braces, terminal with "Use editor font". Verified: scoped vitest, ide-core tests, in-app on macOS (settings UI, editor weight follows the setting end to end). Claude-Session: https://claude.ai/code/session_01VUYsdXA2nkF5v6zsC93dpn
57 рядки
1.0 KiB
CSS
57 рядки
1.0 KiB
CSS
.preview {
|
|
/* offsetParent for the scroll-to-line math. */
|
|
position: relative;
|
|
flex: 1;
|
|
min-height: 0;
|
|
height: 100%;
|
|
overflow: auto;
|
|
background: var(--bg-app);
|
|
font-family: var(--font-mono);
|
|
font-weight: var(--fw-code);
|
|
font-size: var(--fs-ui);
|
|
line-height: 19px;
|
|
color: var(--fg);
|
|
}
|
|
.empty {
|
|
display: flex;
|
|
align-items: center;
|
|
justify-content: center;
|
|
color: var(--fg-faint);
|
|
font-family: var(--font-ui);
|
|
}
|
|
.pre {
|
|
margin: 0;
|
|
padding: 4px 0;
|
|
font: inherit;
|
|
min-width: max-content;
|
|
}
|
|
.codeLine {
|
|
display: flex;
|
|
white-space: pre;
|
|
}
|
|
.currentLine {
|
|
background: var(--bg-current-line);
|
|
}
|
|
.gutter {
|
|
flex: none;
|
|
position: sticky;
|
|
left: 0;
|
|
width: 48px;
|
|
padding-right: 12px;
|
|
text-align: right;
|
|
color: var(--fg-gutter);
|
|
background-color: var(--bg-app);
|
|
}
|
|
.currentLine .gutter {
|
|
color: var(--fg-muted);
|
|
background-color: var(--bg-current-line);
|
|
}
|
|
.code {
|
|
padding-right: 16px;
|
|
}
|
|
.match {
|
|
background: var(--accent-soft);
|
|
color: var(--fg-strong);
|
|
border-radius: 2px;
|
|
}
|