get_window_size


Description:

public void get_window_size (out int width, out int height)

Retrieves the size of the display area of the window, taking into account any window border.

This includes the area occupied by the window's toolbar, if it's enabled.

Parameters:

this

A Window

width

A int pointer for the window's width

height

A int pointer for the window's height




2022 vala-language.org