dev_unmap_var — Verstecken des Variablenfensters.
dev_unmap_var ist veraltet und wird nur aus Gründen der
Rückwärtskompatibilität zur Verfügung gestellt. Neue Applikationen
sollten stattdessen dev_close_tool mit dem ToolId
'variable_window' verwenden.
dev_unmap_var( : : : )
dev_unmap_var versteckt das Variablenfenster.
Das Fenster lässt sich auch interaktiv durch Drücken des
Schließen-Knopfes in seiner Titelzeile schließen.
Über dev_map_var oder interaktiv über das Fenster-Menü lässt
es sich wieder öffnen.
Dieser Operator wird beim Codeexport ignoriert.
dev_unmap_var liefert immer 2 (H_MSG_TRUE) zurück.
Foundation