-
Matthias Clasen authored
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.
152326bd
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.