Sign in

Search issue titles and bodies, change requests and comments. Private repositories you cannot read are not included.

vole
Clone

Read only, no credentials:

https://rodent.software/git/vole.git

Write over SSH with a registered key:

git clone ssh://git@0.0.0.0:2222/vole.git

A free and open-source forge that lives in your Git repo.

Give merged change requests their own colour and filter

0e35a6a00a03201f382c9669d01c2af81f3dbdd5 · Keenan Nemetz · 11d ago · parent f2360c20

Give merged change requests their own colour and filter

The merged state borrowed --accent, which is green in Everforest and therefore read like an open request. It now has its own purple tokens in both the fallback and Everforest themes.

The list also gains a Merged chip with its own count. Closed now counts only requests that were closed without landing, so the three state filters partition the list instead of overlapping.

server/web/static/vole.css +9−3

@@ -71,6 +71,10 @@
71 71 dark in the dark themes and light in the light ones, which keeps it legible
72 72 against every theme's good/bad/warn hue. */
73 73 --status-fg: var(--bg);
74 /* A merged request has landed, which is neither open nor merely closed. It
75 gets its own hue so a merged row cannot be read as still being reviewed. */
76 --merged: #b083f0;
77 --merged-soft: rgba(176, 131, 240, 0.14);
74 78
75 79 /* shape and type */
76 80 --radius: 6px;
@@ -1471,9 +1475,9 @@ details[open] > summary .tree-chevron { transform: rotate(90deg); }
1471 1475 }
1472 1476 .state.closed { color: var(--fg-faint); }
1473 1477 .state.merged {
1474 color: var(--accent);
1475 border-color: color-mix(in srgb, var(--accent) 45%, var(--border));
1476 background: var(--accent-soft);
1478 color: var(--merged);
1479 border-color: color-mix(in srgb, var(--merged) 45%, var(--border));
1480 background: var(--merged-soft);
1477 1481 }
1478 1482
1479 1483 .chips { display: flex; flex-wrap: wrap; gap: 6px; margin: 10px 0; }
@@ -2245,6 +2249,8 @@ textarea:focus-visible {
2245 2249 --bad-soft: rgba(189, 59, 59, 0.10);
2246 2250 --warn: #946200;
2247 2251 --warn-soft: rgba(148, 98, 0, 0.12);
2252 --merged: #7b3fb5;
2253 --merged-soft: rgba(123, 63, 181, 0.12);
2248 2254 }
2249 2255 }
2250 2256 /* ---------- pager ---------- */