33 |
Widget replace_label; |
Widget replace_label; |
34 |
Widget wrap_toggle; |
Widget wrap_toggle; |
35 |
Widget preserve_toggle; |
Widget preserve_toggle; |
36 |
Widget replace_all_toggle; |
Widget ignore_case_toggle; |
37 |
Boolean replace, wrap, preserve, replace_all, wrapped; |
Boolean replace, wrap, preserve, ignore_case, wrapped; |
38 |
XmTextDirection direction; |
XmTextDirection direction; |
39 |
}; |
}; |
40 |
|
|
96 |
arshell_upper_selection_case(); |
arshell_upper_selection_case(); |
97 |
void |
void |
98 |
arshell_select_all(); |
arshell_select_all(); |
99 |
|
void |
100 |
|
arshell_get_rid_of_modified_status(); |
101 |
|
|
102 |
#endif /* AR_TEXTEDIT_H */ |
#endif /* AR_TEXTEDIT_H */ |