diff options
author | wkg <1515379+wkg@users.noreply.github.com> | 2022-01-09 16:34:09 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-01-09 14:34:09 +0100 |
commit | 25db512297781ea9e4a01c6e6719cb7e43db6db4 (patch) | |
tree | b0ecd2beafcb86a826a44ca857b0ccdded22da68 /main/data | |
parent | 975b37c498f2611bc7f13017d4491961426a8a7f (diff) | |
download | dino-25db512297781ea9e4a01c6e6719cb7e43db6db4.tar.gz dino-25db512297781ea9e4a01c6e6719cb7e43db6db4.zip |
Introduce file widget menu with "Save as..." and "Open" actions (#1080)
Diffstat (limited to 'main/data')
-rw-r--r-- | main/data/file_default_widget.ui | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/main/data/file_default_widget.ui b/main/data/file_default_widget.ui index 9da961c4..7da52ec2 100644 --- a/main/data/file_default_widget.ui +++ b/main/data/file_default_widget.ui @@ -88,6 +88,19 @@ </child> </object> </child> + <child> + <object class="GtkMenuButton" id="file_menu"> + <property name="visible">False</property> + <property name="relief">none</property> + <child> + <object class="GtkImage"> + <property name="visible">True</property> + <property name="icon-name">open-menu-symbolic</property> + <property name="icon-size">1</property> + </object> + </child> + </object> + </child> </object> </child> </object> |