louder & more informative exception info viz

2026-08-05 05:18:40 +00:00 · 2024-03-25 15:37:31 -07:00
parent 55146b547b
commit 6d1c0d9f6d
4 changed files with 219 additions and 101 deletions
@@ -56,7 +56,7 @@
 //       start with brighter color, but sometimes with darker - shouldn't it
 //       always have the same color ordering?
 //
-//  [ ]  middle mouse button on tab should close it
+//  [x]  middle mouse button on tab should close it
 // [ ] pipe failure-to-launch errors back to frontend

 ////////////////////////////////