Closed UnformalPenguin closed 1 year ago
some slight tweaks to the color palette in the workspace manager and the window styling (tab borders reflect window borders, pink a labels.)
a
some slight tweaks to the color palette in the workspace manager and the window styling (tab borders reflect window borders, pink
a
labels.)