jfmonty2 53ac490efc tweak workspace indicator

2026-09-30 21:50:14 -04:00

..

plugins/private_joe.workspaces

tweak workspace indicator

2026-09-30 21:50:14 -04:00

shell.json

show monitor-specific workspaces in bar, and change current-workspace highlight

2026-09-30 21:25:18 -04:00