line links

2026-07-29 14:56:13 +02:00
parent 9f8ca3cae6
commit 4dcbffcc88
8 changed files with 139 additions and 12 deletions
@@ -5298,4 +5298,41 @@ dialog::backdrop {
    left: 10px;
    width: auto;
  }
-}
+}
+/* Optional links to exact editor lines. */
+.line-number-button {
+  display: block;
+  width: 100%;
+  height: 100%;
+  padding: 0;
+  border: 0;
+  border-radius: 4px;
+  background: transparent;
+  color: inherit;
+  font: inherit;
+  text-align: right;
+  pointer-events: none;
+}
+
+.line-links-enabled .line-number-button {
+  cursor: copy;
+  pointer-events: auto;
+}
+
+.line-links-enabled .line-number-button:hover,
+.line-links-enabled .line-number-button:focus-visible {
+  background: color-mix(in srgb, var(--accent) 14%, transparent);
+  color: var(--text);
+  outline: none;
+}
+
+.line-number-button.is-linked {
+  background: color-mix(in srgb, var(--accent) 20%, transparent);
+  color: var(--text);
+  font-weight: 700;
+}
+
+.line-number-button.is-copied {
+  background: color-mix(in srgb, var(--success) 18%, transparent);
+  color: var(--text);
+}