89 |
{ |
{ |
90 |
Widget button; |
Widget button; |
91 |
(*counter_int)++; |
(*counter_int)++; |
92 |
button=arshell_optioned_button(arshell.gui.menubar.file_widget, |
button=arshell_optioned_button(arshell.gui.menubar.view_widget, |
93 |
arshell_system_cb, |
arshell_system_cb, |
94 |
argv[(*counter_int)]); |
argv[(*counter_int)]); |
95 |
arshell_align_left(button); |
arshell_align_left(button); |
99 |
{ |
{ |
100 |
Widget button; |
Widget button; |
101 |
(*counter_int)++; |
(*counter_int)++; |
102 |
button=arshell_optioned_button(arshell.gui.menubar.file_widget, |
button=arshell_optioned_button(arshell.gui.menubar.help_widget, |
103 |
arshell_system_cb, |
arshell_system_cb, |
104 |
argv[(*counter_int)]); |
argv[(*counter_int)]); |
105 |
arshell_align_left(button); |
arshell_align_left(button); |