From 7c1e6f3def1c1d099ffb10e2c30a64e8bb146673 Mon Sep 17 00:00:00 2001 From: eidheim Date: Tue, 29 Sep 2015 10:15:19 +0200 Subject: [PATCH] Set/unset sensitivity on menu item: go to next diagnostic, depending on file type. --- src/window.cc | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/window.cc b/src/window.cc index 9f65b2d..8d2ca5c 100644 --- a/src/window.cc +++ b/src/window.cc @@ -112,6 +112,9 @@ Window::Window() : box(Gtk::ORIENTATION_VERTICAL), notebook(directories), compil if(auto menu_item=dynamic_cast(menu.ui_manager->get_widget("/MenuBar/SourceMenu/SourceRename"))) menu_item->set_sensitive((bool)notebook.get_current_view()->rename_similar_tokens); + + if(auto menu_item=dynamic_cast(menu.ui_manager->get_widget("/MenuBar/SourceMenu/SourceGotoNextDiagnostic"))) + menu_item->set_sensitive((bool)notebook.get_current_view()->goto_next_diagnostic); directories.select(notebook.get_current_view()->file_path);