6 commits

Author	SHA1	Message	Date
Andreas Kling	6f9e0e3876	After moving a window, try to repaint a bit less. ... Only repaint windows that intersect either the old or the new rect. Also only repaint those rects in the root widget.	2018-10-12 19:39:48 +02:00
Andreas Kling	22721e6729	The WindowManager can now react to mouse events on the window title bar.	2018-10-12 01:48:18 +02:00
Andreas Kling	a4491e9630	More hacking on Widgets.	2018-10-11 16:52:40 +02:00
Andreas Kling	f337616741	More hacking on Widgets.	2018-10-11 01:48:09 +02:00
Andreas Kling	6f37429f57	Intense hacking on Widgets.	2018-10-10 16:49:36 +02:00
Andreas Kling	8c84f9749e	Start working on a Widgets library.	2018-10-10 15:12:38 +02:00