Restore refresh_panel as I think it will sometimes be necessary.
authorCarl Hetherington <cth@carlh.net>
Wed, 8 May 2019 23:52:49 +0000 (00:52 +0100)
committerCarl Hetherington <cth@carlh.net>
Fri, 10 May 2019 22:43:55 +0000 (23:43 +0100)
src/wx/film_viewer.cc

index 5af2d7462b76dd7820c28a683bf3905d2b92f84d..8ed566bfcbd5ce39abcfa836c25797128e38de87 100644 (file)
@@ -209,14 +209,10 @@ FilmViewer::recreate_butler ()
 void
 FilmViewer::refresh_panel ()
 {
-       /* XXX */
-
-       /*
        _state_timer.set ("refresh-panel");
-       _panel->Refresh ();
-       _panel->Update ();
+       _video_view->get()->Refresh ();
+       _video_view->get()->Update ();
        _state_timer.unset ();
-       */
 }
 
 void