Fix some coverity issues

2017-06-14 13:50:46 +02:00
parent 2fcb7d9665
commit 18076077c0
8 changed files with 15 additions and 52 deletions
--- a/rtgui/splash.h
+++ b/rtgui/splash.h
@@ -48,7 +48,6 @@ private:
    Gtk::ScrolledWindow* releaseNotesSW;

 public:
-    Splash (Gtk::Window& parent, int maxtime);
    explicit Splash (Gtk::Window& parent);

    bool hasReleaseNotes()