GNOME Bugzilla – Bug 727080
W32: Window re-size grip looks UGLY.
Last modified: 2014-04-04 10:18:47 UTC
I have no idea why. It seems that the grip is drawn by taking bg_color, then filling the rectangle with it, and drawing with the lighter version on top of that. For some reason region clipping does not work, and it does turn out to be a rectangle instead of a triangle. That said, triangle wouldn't have looked much better, IMO. Anyway, turns out, there's a style code for grip that was disabled. Re-enabling it fixes everything for me. Paned widget (which also has a grip) is not affected, since its grip is never drawn.
Created attachment 272974 [details] [review] W32: re-enable grip theming
Created attachment 272975 [details] How it looks without the patch
Created attachment 272976 [details] How it looks with the patch
looks much better indeed
Review of attachment 272974 [details] [review]: ok
Attachment 272974 [details] pushed as b678af0 - W32: re-enable grip theming