Add tabbed line-numbered overlay editor

2026-10-25 06:29:01 +01:00
parent 5920055473
commit ed30446136
2 changed files with 32 additions and 1 deletions
@@ -662,9 +662,35 @@ label {
  display: grid;
  gap: 7px;
 }
+.overlay-source-tabs {
+  display: flex;
+  gap: 4px;
+  border-bottom: 1px solid var(--ui-divider);
+}
+.overlay-code-wrap {
+  display: grid;
+  grid-template-columns: 42px minmax(0, 1fr);
+  min-height: 190px;
+  border: 1px solid var(--ui-line);
+  background: var(--ui-surface-low);
+}
+.overlay-line-numbers {
+  display: grid;
+  align-content: start;
+  justify-items: end;
+  gap: 0;
+  padding: 9px 8px;
+  color: var(--ed-dim);
+  background: var(--ui-surface-hi);
+  font: 12px/1.4 var(--font-data);
+  user-select: none;
+}
 .overlay-code {
  min-height: 110px;
  resize: vertical;
+  width: 100%;
+  min-width: 0;
+  border: 0;
  color: var(--ed-dim);
  background: var(--ui-surface-low);
  font: 12px/1.4 var(--font-data);