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>
Wed, 8 May 2019 23:52:49 +0000 (00:52 +0100)
commitb6c462c3d479c29542ea54d7a9d9e440b5e02d74
tree7024802a905759a7f278af8cec06357451dc8383
parent00881d16cef59e17d793561bd27c09028fe6571d
Restore refresh_panel as I think it will sometimes be necessary.
src/wx/film_viewer.cc