Previous
Up
| Previous |
Up |
Next |
Paramètres
windowFocus = fun [ Window _window_ ] Window
Donne le focus à la fenêtre : cela signifie qu'elle recevra alors les événements clavier.
Valeur de retour
_window_ N'importe quelle fenêtre.
La fenêtre passée en paramètre.