fix(viewer): gouttiere de numeros de ligne synchronisee au scroll en mode pretty print
CI / lint (push) Successful in 1m18s
CI / security (push) Successful in 56s
CI / test (push) Successful in 2m40s
CI / build (push) Successful in 48s
CI / e2e (push) Successful in 11m20s

This commit is contained in:
2026-09-14 20:46:35 -04:00
parent 24b5dd033a
commit 9be0fe6626
+12 -7
View File
@@ -2054,43 +2054,48 @@ select {
/* --- Pretty print (mode lecture fichiers texte non-markdown) --- */ /* --- Pretty print (mode lecture fichiers texte non-markdown) --- */
.pretty-view { .pretty-view {
display: flex; position: relative;
display: grid;
grid-template-columns: auto 1fr;
align-items: stretch;
background: var(--code-bg); background: var(--code-bg);
border: 1px solid var(--border); border: 1px solid var(--border);
border-radius: 8px; border-radius: 8px;
overflow: hidden; overflow: auto;
max-height: 78vh; max-height: 78vh;
} }
.pretty-view .pp-gutter { .pretty-view .pp-gutter {
flex: 0 0 auto; position: sticky; /* figee au scroll horizontal, suit le scroll vertical */
left: 0;
z-index: 2;
display: flex; display: flex;
flex-direction: column; flex-direction: column;
padding: 16px 10px 16px 14px; padding: 16px 10px 16px 14px;
text-align: right; text-align: right;
font-family: "JetBrains Mono", monospace; font-family: "JetBrains Mono", monospace;
font-size: 0.8rem; font-size: 0.85rem;
line-height: 1.55; line-height: 1.55;
color: var(--text-muted); color: var(--text-muted);
opacity: 0.65; opacity: 0.65;
user-select: none; user-select: none;
background: var(--bg-secondary); background: var(--bg-secondary);
border-right: 1px solid var(--border); border-right: 1px solid var(--border);
overflow: hidden; box-sizing: border-box;
} }
.pretty-view .pp-pre { .pretty-view .pp-pre {
flex: 1 1 auto;
margin: 0 !important; margin: 0 !important;
border: none !important; border: none !important;
border-radius: 0 !important; border-radius: 0 !important;
background: transparent !important; background: transparent !important;
padding: 16px !important; padding: 16px !important;
overflow: auto; overflow: visible;
} }
.pretty-view .pp-pre code { .pretty-view .pp-pre code {
font-family: "JetBrains Mono", monospace; font-family: "JetBrains Mono", monospace;
font-size: 0.85rem; font-size: 0.85rem;
line-height: 1.55; line-height: 1.55;
white-space: pre; white-space: pre;
display: block;
} }
/* Niveaux de log colorises par le fallback pretty-print (pas d'equivalent hljs) */ /* Niveaux de log colorises par le fallback pretty-print (pas d'equivalent hljs) */
.pretty-view .pp-level { .pretty-view .pp-level {