Searched refs:showdepthmanager (Results 1 – 6 of 6) sorted by relevance
937 Boolean showdepthmanager; /* show depth manager panel */ member956 global.showdepthmanager = appres.showdepthmanager; in show_global_settings()1025 &global.showdepthmanager, 0,0); in create_global_panel()1216 if (appres.showdepthmanager != global.showdepthmanager) in global_panel_done()1218 appres.showdepthmanager = global.showdepthmanager; in global_panel_done()1680 refresh_view_menu_item(DPTH_MGR_MSG, appres.showdepthmanager); in refresh_view_menu()
135 if (appres.showdepthmanager) in init_depth_panel()905 appres.showdepthmanager = !appres.showdepthmanager; in toggle_show_depths()907 appres.showdepthmanager? "Show": "Don't show"); in toggle_show_depths()912 if (appres.showdepthmanager) { in toggle_show_depths()
267 Boolean showdepthmanager; /* whether or not to display the depth manager */ member
334 XtOffset(appresPtr, showdepthmanager), XtRBoolean, (caddr_t) & true},1068 - (appres.showdepthmanager? LAYER_WD:0); in main()
1302 showdepthmanager boolean true \-showdepthmanager (true),
1522 Command-line options -showdepthmanager and -hidedepthmanager to1523 control it (resource Fig.showdepthmanager). The default is to show it.