56 |
arshell.gui.menubar.file_widget=NULL; |
arshell.gui.menubar.file_widget=NULL; |
57 |
arshell.gui.widgets.work=NULL; |
arshell.gui.widgets.work=NULL; |
58 |
antiright.status_widget=NULL; |
antiright.status_widget=NULL; |
59 |
|
arshell.timer_id=NULL; |
60 |
arshell.edit.filename[0]='\0'; |
arshell.edit.filename[0]='\0'; |
61 |
arshell.update_frequency=1000; /* This is in miliseconds. */ |
arshell.update_frequency=1000; /* This is in miliseconds. */ |
62 |
} |
} |
99 |
XtGetValues(antiright.parent_widget, |
XtGetValues(antiright.parent_widget, |
100 |
antiright.arguments, |
antiright.arguments, |
101 |
antiright.arguments_int); |
antiright.arguments_int); |
102 |
|
#ifdef XmNtoolTipEnable |
103 |
if(!override_is_set) |
if(!override_is_set) |
104 |
{ |
{ |
|
#ifdef XmNtoolTipEnable |
|
105 |
XtVaSetValues(antiright.parent_widget, |
XtVaSetValues(antiright.parent_widget, |
106 |
XmNtoolTipEnable, True, |
XmNtoolTipEnable, True, |
107 |
NULL); |
NULL); |
|
#endif /* XmNtoolTipEnable */ |
|
108 |
} |
} |
109 |
|
#endif /* XmNtoolTipEnable */ |
110 |
} |
} |
111 |
|
|