Comment 211 for bug 160311

Revision history for this message
Ben Shadwick (benshadwick) wrote : Re: Resizing windows by grabbing window borders is difficult [please no more comments; patches welcome]

georgehu: It's actually currently a per-theme setting in the theme definition files, and there are some themes that are set to provide thicker grab bars than others. In my personal opinion it should be a theme-independent setting that is configurable by end-users via a GUI control.

Alden: I agree 100%, and this is why I think it should be something that can be easily controlled by the end-user rather than dictated by the particular theme. It's a usability issue, not an aesthetic one.