gtk2/gtk/theme
Matthias Clasen 152326bd24 paned: Allocate the handle input area properly
Drop the margin misuse and use the border allocation of the
handle gadget. We use negative margins to make the border allocation
larger without pushing the paned children out.
2015-12-15 21:59:04 -05:00
..
Adwaita paned: Allocate the handle input area properly 2015-12-15 21:59:04 -05:00
HighContrast spinner: Active spinners should be :checked, not :active 2015-12-02 00:39:25 +01:00
Raleigh Raleigh: Avoid deprecated icon-shadow 2015-11-23 17:01:22 -05:00
win32