diff -r a049926fcdd3 -r 8ffa0c27f434 QTfrontend/ui/page/pagevideos.h
--- a/QTfrontend/ui/page/pagevideos.h	Thu Jan 17 22:48:14 2019 +0100
+++ b/QTfrontend/ui/page/pagevideos.h	Thu Jan 17 23:46:00 2019 +0100
@@ -86,6 +86,7 @@
         void deleteSelectedFiles();
         void openVideosDirectory();
         void updateFileList(const QString & path);
+        void ShowFatalErrorMessage(const QString & msg);
 };
 
 #endif // PAGE_VIDEOS_H