From a588751c27198c1fcacffca75053ecf9b1fcf28b Mon Sep 17 00:00:00 2001
From: Matthias Koefferlein <matthias@koefferlein.de>
Date: Mon, 26 Nov 2018 18:53:43 +0100
Subject: [PATCH] Fixed a bug introduced with the plugin refactoring: some tool
 menu items were not functional.

---
 src/lay/lay/layMainWindow.cc | 8 ++++++++
 src/lay/lay/layMainWindow.h  | 1 +
 2 files changed, 9 insertions(+)

diff --git a/src/lay/lay/layMainWindow.cc b/src/lay/lay/layMainWindow.cc
index 37e55e9d5..d988c1a33 100644
--- a/src/lay/lay/layMainWindow.cc
+++ b/src/lay/lay/layMainWindow.cc
@@ -5652,6 +5652,14 @@ PluginRootToMainWindow::select_mode (int mode)
   }
 }
 
+void
+PluginRootToMainWindow::menu_activated (const std::string &symbol)
+{
+  if (mp_main_window.get ()) {
+    mp_main_window->menu_activated (symbol);
+  }
+}
+
 // ------------------------------------------------------------
 //  Implementation of the "help about" dialog
 
diff --git a/src/lay/lay/layMainWindow.h b/src/lay/lay/layMainWindow.h
index 55a50d340..cc3b21bf4 100644
--- a/src/lay/lay/layMainWindow.h
+++ b/src/lay/lay/layMainWindow.h
@@ -994,6 +994,7 @@ public:
   virtual void plugin_registered (lay::PluginDeclaration *cls);
   virtual void plugin_removed (lay::PluginDeclaration *cls);
   virtual void select_mode (int mode);
+  virtual void menu_activated (const std::string &symbol);
 
 private:
   PluginRootToMainWindow (const PluginRootToMainWindow &);