Remove approximate size stuff where playback viewer would round

down to nearest 4 pixels to try and speed up scaling.  It didn't
work as the two estimates of what would be scaled didn't always
agree.  It could probably be resurrected.

1 files changed, 0 insertions, 2 deletions

diff --git a/src/lib/player.h b/src/lib/player.h
index 01439a26f..d8b13ee7b 100644
--- a/src/lib/player.h
+++ b/src/lib/player.h
@@ -92,7 +92,6 @@ public:
 	std::list<boost::shared_ptr<Font> > get_subtitle_fonts ();
 
 	void set_video_container_size (dcp::Size);
-	void set_approximate_size ();
 	void set_ignore_video ();
 
 	PlayerStatistics const & statistics () const;
@@ -157,7 +156,6 @@ private:
 	dcp::Size _video_container_size;
 	boost::shared_ptr<Image> _black_image;
 
-	bool _approximate_size;
 	/** true if the player should ignore all video; i.e. never produce any */
 	bool _ignore_video;