On Tue, Jul 07, 2020 at 05:03:41PM +0100, Aaron Sloman wrote:
> After trying and disliking that solution, I've now decided that a better
> solution is to *remove* title bars and
>
> -- slightly increase window border width (to 3) to make borders easier to
> grab for re-sizing
I've found that adding a BorderColor for the active window also helps
with identifying them:
Color {
BorderColor "#ff0000" {
"WorkSpaceManager" "#ffff00"
"TWM Icon Manager" "#ffff00"
}
}
YMMV.
--
- Tina
