From 130d08a81735e256a40d5719fb026a91900b107d 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 601abceaf0..da9aed4601 100644
--- a/src/lay/lay/layMainWindow.cc
+++ b/src/lay/lay/layMainWindow.cc
@@ -5647,6 +5647,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 244fa2ec04..ae3671d1a2 100644
--- a/src/lay/lay/layMainWindow.h
+++ b/src/lay/lay/layMainWindow.h
@@ -994,6 +994,7 @@ class LAY_PUBLIC PluginRootToMainWindow
   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 &);