FrHun 8249ea792e LibGUI+FileManager: Clarify Widget margins name ...

Even though they are called content_margins,
they are actually only ever used to determine where
a Widget is supposed to be grabbable.
So all methods and members are renamed accordingly.

2021-11-03 16:13:19 +01:00

4.1 KiB

Raw Blame History

View Raw