key-press-event
This is an event signal, fired when the connected widget picks up a GDK_KEY_PRESS event. Key press events are generated by any of the keys on a keyboard being pressed. You can distinguish between the key values in the callback using an if or switch statement:
<?php
function on_click($widget, $event, $data)
{
if($event->keyval==GDK_KEY_Return) {
/*do something appropriate for the return key being pressed*/
} elseif($event->keyval > GDK_KEY__a) {
/*we can reach the character strings, too*/
echo $event->string."\n";
}
}
?>
|
Yes, we have hard-coded keysyms. The full list of PHP-GTK keysymbol constants is in the source code in the file php-gtk/ext/gtk+/php_gdk.c.
Callback function
忘却曲線を使ってこの知識を確実に記憶に残す
