mirror of
https://github.com/genodelabs/genode.git
synced 2025-05-08 11:38:10 +00:00
This patch sets the default document type in the "File save" dialog to HTML and makes both the "File open" and "File save" dialogs enter the "/" directory by default. Fixes #274.