Refactor legacy line-number and scroll code (#33094)

1. remove jquery
2. rewrite the "line number selection", fix various edge cases
3. fix the scroll
This commit is contained in:
wxiaoguang
2025-01-04 10:56:07 +08:00
committed by GitHub
parent 188e0ee8e4
commit 2b064b8637
5 changed files with 71 additions and 139 deletions

View File

@ -336,8 +336,13 @@ a.label,
border-color: var(--color-secondary);
}
.ui.dropdown .menu > .header {
text-transform: none; /* reset fomantic's "uppercase" */
}
.ui.dropdown .menu > .header:not(.ui) {
color: var(--color-text);
font-size: 0.95em; /* reset fomantic's small font-size */
}
.ui.dropdown .menu > .item {
@ -691,10 +696,6 @@ input:-webkit-autofill:active,
box-shadow: 0 6px 18px var(--color-shadow) !important;
}
.ui.dropdown .menu > .header {
font-size: 0.8em;
}
.ui .text.left {
text-align: left !important;
}