diff options
author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2017-08-13 16:32:28 +0200 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2017-08-13 16:32:28 +0200 |
commit | 0f67b3cc674377559e66c5a6729fd499049a992f (patch) | |
tree | db385afa84c09891e9a83c18b6e5436cf6e983ed /src/Page.vala | |
parent | f8ca421bdacee8851965a4b802ada1d2366bdbc1 (diff) | |
parent | 6cee6189adf46287667c35707325dd0820ea9f33 (diff) |
Merge branch 'feature/upstream' into develop
Diffstat (limited to 'src/Page.vala')
-rw-r--r-- | src/Page.vala | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Page.vala b/src/Page.vala index bdeee6b..7504743 100644 --- a/src/Page.vala +++ b/src/Page.vala @@ -573,6 +573,7 @@ public abstract class Page : Gtk.ScrolledWindow { var ui_resource = Resources.get_ui(ui_filename); try { builder.add_from_resource(ui_resource); + this.menubar_injected = false; } catch (Error err) { AppWindow.error_message("Error loading UI resource %s: %s".printf( ui_resource, err.message)); |