49 |
arshell.flags.use_menubar=True; |
arshell.flags.use_menubar=True; |
50 |
} |
} |
51 |
void |
void |
52 |
|
arshell_align_left(Widget widget) |
53 |
|
{ |
54 |
|
ARCLARG; |
55 |
|
antiright_set(XmNalignment, XmALIGNMENT_BEGINNING); |
56 |
|
antiright_set_values(widget); |
57 |
|
} |
58 |
|
void |
59 |
arshell_add_button_to_file_menu(int *counter_int, char **argv) |
arshell_add_button_to_file_menu(int *counter_int, char **argv) |
60 |
{ |
{ |
61 |
|
Widget button; |
62 |
(*counter_int)++; |
(*counter_int)++; |
63 |
arshell_optioned_button(arshell.gui.menubar.file_widget, |
button=arshell_optioned_button(arshell.gui.menubar.file_widget, |
64 |
arshell_system_cb, |
arshell_system_cb, |
65 |
argv[(*counter_int)]); |
argv[(*counter_int)]); |
66 |
|
arshell_align_left(button); |
67 |
} |
} |
68 |
void |
void |
69 |
arshell_add_button_to_edit_menu(int *counter_int, char **argv) |
arshell_add_button_to_edit_menu(int *counter_int, char **argv) |
71 |
(*counter_int)++; |
(*counter_int)++; |
72 |
if((arshell.gui.widgets.work != NULL)) |
if((arshell.gui.widgets.work != NULL)) |
73 |
{ |
{ |
74 |
|
Widget button; |
75 |
if(arshell.gui.menubar.edit_widget==NULL) |
if(arshell.gui.menubar.edit_widget==NULL) |
76 |
{ |
{ |
77 |
antiright_edit_menu(arshell.gui.menubar.menubar_widget, |
antiright_edit_menu(arshell.gui.menubar.menubar_widget, |
78 |
arshell.gui.widgets.work); |
arshell.gui.widgets.work); |
79 |
} |
} |
80 |
arshell_optioned_button(arshell.gui.menubar.file_widget, |
button=arshell_optioned_button(arshell.gui.menubar.file_widget, |
81 |
arshell_system_cb, |
arshell_system_cb, |
82 |
argv[(*counter_int)]); |
argv[(*counter_int)]); |
83 |
|
arshell_align_left(button); |
84 |
} |
} |
85 |
} |
} |
86 |
|
|
87 |
void |
void |
88 |
arshell_add_button_to_view_menu(int* counter_int, char** argv) |
arshell_add_button_to_view_menu(int* counter_int, char** argv) |
89 |
{ |
{ |
90 |
|
Widget button; |
91 |
(*counter_int)++; |
(*counter_int)++; |
92 |
arshell_optioned_button(arshell.gui.menubar.file_widget, |
button=arshell_optioned_button(arshell.gui.menubar.file_widget, |
93 |
arshell_system_cb, |
arshell_system_cb, |
94 |
argv[(*counter_int)]); |
argv[(*counter_int)]); |
95 |
|
arshell_align_left(button); |
96 |
} |
} |
97 |
void |
void |
98 |
arshell_add_button_to_help_menu(int *counter_int, char **argv) |
arshell_add_button_to_help_menu(int *counter_int, char **argv) |
99 |
{ |
{ |
100 |
|
Widget button; |
101 |
(*counter_int)++; |
(*counter_int)++; |
102 |
arshell_optioned_button(arshell.gui.menubar.file_widget, |
button=arshell_optioned_button(arshell.gui.menubar.file_widget, |
103 |
arshell_system_cb, |
arshell_system_cb, |
104 |
argv[(*counter_int)]); |
argv[(*counter_int)]); |
105 |
|
arshell_align_left(button); |
106 |
} |
} |
107 |
|
|
108 |
void |
void |