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
ToolId set to
dev_unmap_var( : : : )
dev_unmap_var hides the variable window.
This can also be achieved interactively by pressing the
button on the window's title bar.
The window can be opened again by
dev_map_var or interactively via
This operator is not supported for code export.
dev_unmap_var always returns TRUE.