Museum

Home

Lab Overview

Retrotechnology Articles

⇒ Online Manual

Media Vault

Software Library

Restoration Projects

Artifacts Sought

Related Articles

XtManageChild(1)

XtMapWidget(1)

XtUnmapWidget(1)

NAME

XtSetMappedWhenManaged − set the value of a widget’s XtNmappedWhenManaged resource and map or unmap the window. 

Synopsis

void XtSetMappedWhenManaged(w, map_when_managed)

    Widget w;
    Boolean map_when_managed;

Inputs

wSpecifies the widget.  Must be of class Core or any subclass thereof. 

map_when_managed
Specifies the new value of the map_when_managed field. 

Description

If w is realized and managed and if map_when_managed is set to True, XtSetMappedWhenManaged() maps the widget’s window.  If the widget is realized and managed and if the new value of map_when_managed is set to False, XtSetMappedWhenManaged() unmaps the widget’s window.  In both cases, XtSetMappedWhenManaged() sets the value of the widget’s XtNmappedWhenManaged resource as specified by the map_when_managed argument.  XtSetMappedWhenManaged() is a convenience function that is equivalent to (but slightly faster than) calling XtSetValues() to set the new value for the XtNmappedWhenManaged resource, and then mapping or unmapping the widget as appropriate. 

Usage

A widget is normally mapped when it is managed, which is usually the desired behavior.  This behavior can be overridden by setting the XtNmappedWhenManaged resource for the widget to False, and then calling XtSetMappedWhenManaged() to map and unmap the widget or by calling XtMapWidget() and XtUnmapWidget() explicitly.  A widget that is managed but unmapped will have screen space allocated for it, but will not appear in that space.  A widget that is unmanaged will not have screen space allocated for it, and if mapped will likely appear in an undesirable place. 

See Also

XtManageChild(1), XtMapWidget(1), XtUnmapWidget(1). 

Copyright O’Reilly & Assoc.  —  X Toolkit Intrinsics Reference Manual © O’Reilly & Associates

Typewritten Software • bear@typewritten.org • Edmonds, WA 98026