that 9876ac3361 gui: support scrollable lists without headers ...

If the <header> element doesn't exist, the header is not drawn.

- minuitwrp: add function for clipping all drawing to a rectangle
...and another one to cancel it.

Change-Id: If0f688a5debee6ebd9c457999fe571705a42c5cc

2015-02-15 22:12:29 +01:00

19 KiB

Raw Blame History

View Raw