ekg2
|
00001 int key_handle_key_press (GtkWidget * wid, GdkEventKey * evt, window_t *sess); 00002 00003 void gtk_binding_init(); 00004 00005 #define HISTORY_MAX 1000 00006 extern char *gtk_history[HISTORY_MAX]; 00007 extern int gtk_history_index;