Charles Dang de1a9724eb Refactored handling of window/renderer size getters
* Removed display::screen_area(), display::w(), and display::h().
* Moved the global screen_area() function into the CVideo class.
* Renamed CVideo::getx() and gety() to get_width() and get_height()
* Made those two functions return the result of screen_area() instead of the other way around.
* Added preliminary support for high-DPI rendering to screen_area()

Note on the last point: When I fixed bug #1772 (aa8f6c7e7 right now but will probably change with rebasing)
I noted that SDL_GetWindowSize and SDL_GetRendererOutputSize returned the same results for me (even with
Window's automatic scaling for non-high-DPI-enabled apps disabled) but that the SDL documentation stated the
former returned screen coordinates and the latter pixels. In that same commit I changed the dimension functions
to use SDL_GetWindowSize. I've now reversed that decision and gone back to using SDL_GetRendererOutputSize so
I can guarantee output in pixels. If use_pixels is false, the code will return coordinates in 96 DPI, so I need
to have pixel measurements for the calculations.

Again, though, I do not know if SDL_GetWindowSize returns a different value that pixel size (which it's said
to do) on macOS or iOS. I'll need to do some testing. It's possible on those platforms I won't need the 96 DPI
measurements, but it's also possible it will be needed on on platforms, since all of our code relies on pixel
measurements.
2017-12-05 10:50:10 +11:00
..
2017-11-29 11:01:25 +11:00
2017-09-20 14:42:35 +02:00
2017-12-03 16:49:54 -06:00
2017-04-09 23:59:21 +11:00
2017-07-22 23:35:53 +03:00
2017-10-04 07:26:30 +03:00
2017-08-15 11:24:23 +11:00
2017-04-25 04:30:49 +11:00
2017-09-21 11:16:28 +02:00
2017-09-12 17:01:45 +02:00
2017-09-12 17:01:45 +02:00
2017-04-25 04:30:49 +11:00
2017-08-20 08:50:07 +11:00
2017-12-03 07:04:33 +11:00
2017-09-20 15:04:50 +02:00
2017-04-12 13:49:50 -04:00
2017-11-10 07:23:21 +11:00
2017-10-26 21:30:12 +11:00
2017-05-14 12:47:33 +02:00
2017-10-20 08:05:45 +11:00
2017-10-20 08:05:45 +11:00
2017-05-16 02:41:57 +11:00
2017-05-16 02:41:57 +11:00
2017-08-27 21:57:41 +02:00
2017-08-27 21:57:41 +02:00
2017-10-12 12:17:53 +11:00
2017-10-10 18:04:10 +11:00
2017-12-01 21:04:05 -06:00