Previous
Up
| Previous |
Up |
Next |
Paramètres
windowDestroy = fun [ Window _window_ ] Window
Détruit la fenêtre passée en argument, ainsi que les fenêtres filles. L'utilisation ultérieure de cette fenêtre par l'application n'aura aucun effet.
Valeur de retour
_window_ N'importe quelle fenêtre.
La fenêtre passée en paramètre.Remarque