using std::string;
using std::pair;
+using std::min;
using std::max;
using std::cout;
using std::list;
}
/* Catch silly values */
- if (_out_size.width < 64) {
- _out_size.width = 64;
- }
+ _out_size.width = max (64, _out_size.width);
+ _out_size.height = max (64, _out_size.height);
_player->set_video_container_size (_out_size);
+ update_from_decoder ();
}
void