--- a/QTfrontend/ui/page/pagevideos.h	Wed May 16 18:22:28 2018 +0200
+++ b/QTfrontend/ui/page/pagevideos.h	Wed Jul 31 23:14:27 2019 +0200
@@ -86,6 +86,7 @@
         void deleteSelectedFiles();
         void openVideosDirectory();
         void updateFileList(const QString & path);
+        void ShowFatalErrorMessage(const QString & msg);
 };
 
 #endif // PAGE_VIDEOS_H