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 Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
