Rev 13974 | Blame | Compare with Previous | Last modification | View Log | Download | RSS feed
#include <gtk/gtk.h> void R_gtk_terminal_add_menu(GtkWidget *window);
#include <gtk/gtk.h>
void R_gtk_terminal_add_menu(GtkWidget *window);