Hmm... I was able to increase border size for left, right, bottom borders by editing the XML config as described by Troy James Sobotka (comment #11). But, like Scaine (comment #58), I was not able to change the top border, even after changing every value in the "normal" frame_geometry block that looked like it might relate to the top border. The 5px width borders on left/right/bottom is a huge improvement, but the thin top border is still a bother. Does anyone know how to change the top border via the XML config? Thx.
-- Resizing windows by grabbing window borders is difficult [please no more comments; patches welcome] https://bugs.launchpad.net/bugs/160311 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
