void controller_key(t_readline *r, long key)
{
if (key == 0x445b1b)
keyboard_left(r);
if (key == 0x435b1b)
keyboard_right(r);
if (key == 0x44323b315b1b)
keyboard_left_word(r);
if (key == 0x43323b315b1b)
keyboard_right_word(r);
if (key == 0x415b1b)
up_arrow(r);
if (key == 0x425b1b)
down_arrow(r);
if (key == 127)
keyboard_delete(r);
if (key == 0x485b1b)
keyboard_home(r);
if (key == 0x465b1b)
keyboard_end(r);
if (key == 8948194)
keyboard_cut(r);
if (key == 42947)
keyboard_copy(r);
controller_key_bis(r, key);
}
/* keyboard */
static int _keyboard(KeyboardPrefs * prefs)
{
Keyboard * keyboard;
if((keyboard = keyboard_new(prefs)) == NULL)
return -1;
gtk_main();
keyboard_delete(keyboard);
return 0;
}
/* keyboard_destroy */
static void _keyboard_destroy(KeyboardWidget * keyboard)
{
if(keyboard->keyboard != NULL)
keyboard_delete(keyboard->keyboard);
object_delete(keyboard);
}
