Skip to content

Kill Preferences dialog.

Arnaud B. requested to merge arnaudb/kill-preferences-dialog into master

Use an improved hamburger menu instead of a Preferences dialog. (And various cleanings.)

Merge request reports