diff --git a/src/frontends/Application.h b/src/frontends/Application.h
index 1e84718678..ab3a82557a 100644
--- a/src/frontends/Application.h
+++ b/src/frontends/Application.h
@@ -161,8 +161,6 @@ public:
 	///
 	virtual void resetGui() = 0;
 
-	///
-	virtual bool closeAllViews() = 0;
 	///
 	virtual void hideDialogs(std::string const & name, Inset * inset) const = 0;
 	///
diff --git a/src/frontends/qt4/GuiApplication.h b/src/frontends/qt4/GuiApplication.h
index d47926f4b4..77655cdc04 100644
--- a/src/frontends/qt4/GuiApplication.h
+++ b/src/frontends/qt4/GuiApplication.h
@@ -106,8 +106,6 @@ public:
 	/// return a suitable monospaced font name.
 	virtual QString const typewriterFontName();
 	///
-	virtual bool closeAllViews();
-	///
 	virtual bool unregisterView(int id);
 	///
 	virtual GuiView & view(int id) const;
@@ -123,6 +121,8 @@ private Q_SLOTS:
 	void socketDataReceived(int fd);
 
 private:
+	///
+	bool closeAllViews();
 	///
 	GuiClipboard clipboard_;
 	///