change group headers

2020-06-08 11:19:45 -04:00 · 2020-06-08 11:19:45 -04:00 · 724d3453c0
commit 724d3453c0
parent 8fc03ee9ba
3 changed files with 22 additions and 12 deletions
--- a/src/kiri/ui.js
+++ b/src/kiri/ui.js
@ -117,7 +117,7 @@
            row.setAttribute("class", "set-group noselect");
            addTo = pop;
        } else {
-            row.setAttribute("class", "t-group col");
+            row.setAttribute("class", "set-header col");
            addTo = lastDiv;
        }