Add support for get_render_size()

[abso1utezer0]

The get_display_size() method returns the size of the window, which may differ from the actual render size. It is possible to calculate the render size using aspect ratios, but it would be a lot nicer to be able to get it easily through Dolphin. With the render size, you can align text and other GUI elements to be in the actual game render instead of all over the window.

Here is an example. get_display_size() currently gives the size of the red outline in this image, and the proposed get_render_size() would give the size of the yellow outline in the image.

[Felk]

Thanks for reporting! Yeah, I agree, getting the size of the yellow outline sounds more useful.

With the render size, you can align text and other GUI elements to be in the actual game render instead of all over the window

Hmm, that would work. But how do you feel about the offsets passed to gui.draw_text and co also beaing relative to the game area? I think that might be the majority usecase

[abso1utezer0]

You could add a method to switch the mode maybe. The original way could be default for compatibility, and then the scripter could do gui.set_offset_type(["display"/"render"]) to choose which version to use. "display" would use the original mode, which is the offset from the sides of the actual display/window, and "render" would go off the sides of the actual game render.

[Avasam]

But how do you feel about the offsets passed to gui.draw_text and co also beaing relative to the game area? I think that might be the majority usecase

I would personally prefer that, so that the alignement is the same whether fullscreen or windowed.