sunKeyboard = ! sunKeyboard; update_sun_kbd();
toggle_keyboard_type(keyboardIsVT220);
static void do_sun_kbd (	Widget gw GCC_UNUSED,	XtPointer closure GCC_UNUSED,	XtPointer data GCC_UNUSED){    sunKeyboard = ! sunKeyboard;    update_sun_kbd();}