mirror of
https://github.com/genodelabs/genode.git
synced 2025-03-26 05:48:29 +00:00
This patch constraints the window size of the generated layout to the minimum of the client's real window size and the wanted window size (both may differ when resizing or maximizing windows).