| 172 | * {{{windowopen(w,h,label)}}} Opens an empty window. It can then be populated using the functions below. |
| 173 | * {{{windowprint(x, y, text, foreground, background)}}} prints some text in the window. The colors are in the range 0 to 3, from black to white. |
| 174 | * {{{windowbutton(x, y, w, h, label, key)}}} Adds a button in the window, with the given label and shortcut key. |
| 175 | * {{{windowrepeatbutton(x, y, w, h, label, key)}}} Adds a repeatable button. If the user holds the mouse button on it, events are generated repeatedly. |
| 176 | * {{{windowinput(x, y, nbchar)}}} Creates a widget for text input. nbchar defines the width of it. |
| 177 | * {{{accept, val = windowreadline(x, y, value, nbchar, maxchar, decimal, inputtype)}}} runs the text input procedure. x, y, nbchar should match the ones of a previously declared windowinput. nbchar defines the width of the control, while maxchar defines the max string length (the text can scroll if needed). This function blocks until the user is done editing the string. If the string is rejected (invalid format, or user pressed the escape key, {{{accept}}} is returned false. {{{val}}} is the new value of the string after editing. |
| 178 | * {{{windowslider(horizontal, x, y, height, nb_elements, thumb_height, initial_position)}}} creates a slider/scroll bar. |
| 179 | * {{{windowmoveslider(slider, nb_elements, thumb_height, position)}}} changes the position of a slider thumb. |
| 180 | |
| 181 | * {{{button, button2, key = windowdodialog()}}} waits for the user to interact with the open window. It returs the identifier of the widget clicked by the user, ???, and a keycode if any key was pressed. |
| 182 | * {{{windowclose()}}} closes a window. |
| 183 | |