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