tree 3724fb61e274f0480b383303235648e34dd72b8a
parent f6ed8fc1f51e368bb76905d9f1d2d3735e70a644
author that <github@that.at> 1424032859 +0100
committer that <github@that.at> 1424034749 +0100

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