clean up file name, button presentation

2022-01-02 21:39:09 -05:00 · 2022-01-02 21:39:09 -05:00 · 6204d3fc63
commit 6204d3fc63
parent e5be3ae81d
3 changed files with 23 additions and 4 deletions
--- a/src/main/mesh.js
+++ b/src/main/mesh.js
@ -72,7 +72,8 @@ function ui_build() {
                // map groups to divs
                .map(g => h.div([
                    h.button({
-                        _: `group (${g.id})`,
+                        _: `group`,
+                        title: g.id,
                        class: [
                            "group",
                            api.selection.contains(g) ? 'selected' : undefined