2012-10-21 05:03:38 +04:00
|
|
|
/* These are cp'ed from history.c --AGL */
|
|
|
|
#define STATE_SHIFT GDK_SHIFT_MASK
|
|
|
|
#define STATE_ALT GDK_MOD1_MASK
|
|
|
|
#define STATE_CTRL GDK_CONTROL_MASK
|
|
|
|
|
2011-02-24 06:14:30 +03:00
|
|
|
void key_init (void);
|
|
|
|
void key_dialog_show (void);
|
|
|
|
int key_handle_key_press (GtkWidget * wid, GdkEventKey * evt, session *sess);
|
|
|
|
int key_action_insert (GtkWidget * wid, GdkEventKey * evt, char *d1, char *d2,
|
|
|
|
session *sess);
|