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)
commitd17430d78742027b1e6b9098269a34f4742a4b6a
treecc7c3a3c2451f9842f768ab3ce74d7bfe7f2d2c1
parenta8e31120a793f09ab56cc2847d76944ba698ba95
Restore refresh_panel as I think it will sometimes be necessary.
src/wx/film_viewer.cc