[Bug 160311] Re: Resizing windows by grabbing window borders is difficult [please no more comments; patches welcome]
Just wanted to say that I too find window resizing to be a pain. I'll be changing the config file to widen the border. In case it matters, I'd vote for the addition of a border width control to the configuration UI. Seems like Appearance/Theme/Customize.../Window Border would be a natural place for it. Maybe something like the Pointer Size control. -- 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 Desktop Bugs, which is subscribed to metacity in ubuntu. -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
[Bug 160311] Re: Resizing windows by grabbing window borders is difficult [please no more comments; patches welcome]
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 Desktop Bugs, which is subscribed to metacity in ubuntu. -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
