Glad I have a new shortcut in my arsenal, Alt+Middle button to resize windows. But, I have to confess that after a few days on Maverick, I find this losing the ability to (easily) resize the window by dragging the corner somewhat annoying. I feel that this is one of these 1000 papercuts type issues. Is there some new style guideline for having 1px border on the bottom of windows or something?
-- terminal window super hard to resize https://bugs.launchpad.net/bugs/652331 You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-terminal in ubuntu. -- desktop-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
