mirror of
https://github.com/genodelabs/genode.git
synced 2025-06-01 07:00:55 +00:00
56d98824e3
This patch resets the part of the window state that is responsible the dragging of window controls once the drag operation is finalized. Without it, the window was wrongly positioned when leaving the maximized state after a previous resize operation.
This directory is a source-code repository containing Genode-specific services and applications. In contrast to the components that come with the 'os' repository, programs contained in 'gems' are able to leverage the functionalities provided by higher-level repositories such as 'libports'. To use the 'gems' repository, make sure to also add those repositories to your build configuraion.