Information about a window's size and position.
get_window_extents returns the position of the upper left corner, as well as width and height of the current output window.
Size and position of a window may be modified by the window manager, without explicit instruction in the program. Hence the values which are returned by get_window_extents may chance through side effects.
Row (output_control) |
rectangle.origin.y -> integer |
Row index of upper left corner of the window. |
Column (output_control) |
rectangle.origin.x -> integer |
Column index of upper left corner of the window. |
Width (output_control) |
rectangle.extent.x -> integer |
Window width. |
Height (output_control) |
rectangle.extent.y -> integer |
Window height. |
open_window(::100,100,200,200,'root','visible','':) > fwrite_string(::'Move the window with the mouse!':) > fnew_line(:::) > repeat(:::) > get_mbutton(:::_,_,Button) > get_window_extents(:::Row,Column,Width,Height) > fwrite(::['('Row,',',Column,')']:) > fnew_line(:::) > until(::Button = 4:).
If a window is activated, then get_window_extents returns TRUE. If necessary an exception is raised.
open_window, set_draw, set_color, set_colored, set_line_width, open_textwindow, set_window
set_window_extents, open_window, open_textwindow