diff options
| author | Christopher Davis <christopherdavis@gnome.org> | 2023-02-08 19:24:16 -0500 |
|---|---|---|
| committer | fiaxh <fiaxh@users.noreply.github.com> | 2023-02-09 11:36:33 +0100 |
| commit | 430a8df4f6722bb78f2babbdb2c82dcd9c840175 (patch) | |
| tree | d7d26e836f3612d231b05feddc814ac83da72bcd /main/src | |
| parent | 5eab892a2412260e9eb4dec3f661ea2f8bd9171f (diff) | |
| download | dino-430a8df4f6722bb78f2babbdb2c82dcd9c840175.tar.gz dino-430a8df4f6722bb78f2babbdb2c82dcd9c840175.zip | |
menu_app: Move preferences to last group
Per
https://developer.gnome.org/hig/patterns/controls/menus.html#standard-primary-menu-items, preferences
should be at the top of the last group in the menu.
Diffstat (limited to 'main/src')
0 files changed, 0 insertions, 0 deletions