Themaister 178dc692c7 Do proper rounding in set_viewport.
Avoids edge cases where viewport sizes are miscalculated with -1 pixel
due to rounding errors.
2013-09-12 22:23:56 +02:00
..
2013-09-12 22:23:56 +02:00