21 |
*/ |
*/ |
22 |
|
|
23 |
#ifndef ARSHELL_UTIL_H |
#ifndef ARSHELL_UTIL_H |
24 |
#define ARSHELL_UTIL_H |
#define ARSHELL_UTIL_H |
25 |
|
|
26 |
void |
void |
27 |
arshell_system_cb(Widget parent_widget, |
arshell_system_cb (Widget parent_widget, |
28 |
XtPointer client_data, |
XtPointer client_data, XtPointer call_data); |
29 |
XtPointer call_data); |
void arshell_set_desktop_panel_mode (); |
30 |
void |
void arshell_update (); |
31 |
arshell_set_desktop_panel_mode(); |
void arshell_add_updater (Widget widget, char *command_string); |
32 |
void |
void |
33 |
arshell_update(); |
arshell_update_work_procedure (XtPointer client_data, |
34 |
void |
XtIntervalId * timer_id); |
35 |
arshell_add_updater(Widget widget, char* command_string); |
void arshell_beautify_label (Widget widget, char *current_argument_string); |
36 |
void |
void arshell_row_layout (); |
37 |
arshell_update_work_procedure(XtPointer client_data, |
void arshell_set_rows (int *counter_int, char **argv); |
38 |
XtIntervalId* timer_id); |
void arshell_usage (); |
|
void |
|
|
arshell_beautify_label(Widget widget, char* current_argument_string); |
|
|
void |
|
|
arshell_row_layout(); |
|
|
void |
|
|
arshell_set_rows(int* counter_int, char** argv); |
|
|
void |
|
|
arshell_usage(); |
|
39 |
Widget |
Widget |
40 |
arshell_optioned_button(Widget parent_widget, |
arshell_optioned_button (Widget parent_widget, |
41 |
XtCallbackProc callback, |
XtCallbackProc callback, char *command_string); |
|
char* command_string); |
|
42 |
|
|
43 |
void |
void |
44 |
arshell_set_window_title_and_work_filename(int *counter_int, char **argv); |
arshell_set_window_title_and_work_filename (int *counter_int, char **argv); |
45 |
|
|
46 |
#endif /* ARSHELL_UTIL_H */ |
#endif /* ARSHELL_UTIL_H */ |