102 |
antiright_comment_selection, (XtPointer)parent_widget); |
antiright_comment_selection, (XtPointer)parent_widget); |
103 |
antiright_button(popup_widget, "Uncomment Selected", |
antiright_button(popup_widget, "Uncomment Selected", |
104 |
antiright_uncomment_selection, (XtPointer)parent_widget); |
antiright_uncomment_selection, (XtPointer)parent_widget); |
105 |
|
antiright_button(popup_widget, "Fill Selected", |
106 |
|
antiright_fill_selection, (XtPointer)parent_widget); |
107 |
antiright_separator(popup_widget); |
antiright_separator(popup_widget); |
108 |
submenu=antiright_menu(popup_widget, "Insert"); |
submenu=antiright_menu(popup_widget, "Insert"); |
109 |
ar_menu=antiright_menu(submenu, "antiright"); |
ar_menu=antiright_menu(submenu, "antiright"); |