diff --git a/options.h b/options.h
index b1ec39c5ab..43a06db28b 100644
--- a/options.h
+++ b/options.h
@@ -320,8 +320,6 @@ public:
     */
     int electricBorderDelay();
 
-signals:
-    void resetPlugin();
 
 public slots:
     void reload();
diff --git a/workspace.cpp b/workspace.cpp
index 0f8b6652b5..d109ae8894 100644
--- a/workspace.cpp
+++ b/workspace.cpp
@@ -284,7 +284,6 @@ Workspace::Workspace( bool restore )
     _self = this;
     d = new WorkspacePrivate;
     mgr = new PluginMgr;
-    connect(options, SIGNAL(resetPlugin()), mgr, SLOT(resetPlugin()));
     root = qt_xrootwin();
     default_colormap = DefaultColormap(qt_xdisplay(), qt_xscreen() );
     installed_colormap = default_colormap;