dev_unmap_var — Hides the variable window.
dev_unmap_var is obsolete and is only provided for
reasons of backward compatibility. New applications should use
dev_close_tool with ToolId set to
'variable_window' instead.
dev_unmap_var( : : : )
dev_unmap_var hides the variable window.
This can also be achieved interactively by pressing the Close
button on the window's title bar.
The window can be opened again by dev_map_var or interactively via
the Window menu.
This operator is not supported for code export.
dev_unmap_var always returns TRUE.
Foundation