mirror of
https://github.com/genodelabs/genode.git
synced 2025-05-02 16:52:52 +00:00
This patch includes the system dialog in the global keyboard focus handling, supports hovering of the "Edit" and "Add" buttons, allows the use of the enter key to finish URL editing, and triggers a re-scan of depot users after adding a new one. Issue #4820