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
