65
68
destroy += Gtk.main_quit;
71
private bool handle_key_press (GtkMult mult, Gdk.EventKey event)
74
string ev_str = event.str.casefold();
76
if (ev_str == _("A").casefold()) ch = 'A';
77
else if (ev_str == _("B").casefold()) ch = 'B';
78
else if (ev_str == _("C").casefold()) ch = 'C';
79
else if (ev_str == _("D").casefold()) ch = 'D';
80
else if (ev_str == _("E").casefold()) ch = 'E';
81
else if (ev_str == _("F").casefold()) ch = 'F';
82
else if (ev_str == _("G").casefold()) ch = 'G';
83
else if (ev_str == _("H").casefold()) ch = 'H';
84
else if (ev_str == _("I").casefold()) ch = 'I';
85
else if (ev_str == _("J").casefold()) ch = 'J';
86
else if (ev_str == _("0").casefold()) ch = '0';
87
else if (ev_str == _("1").casefold()) ch = '1';
88
else if (ev_str == _("2").casefold()) ch = '2';
89
else if (ev_str == _("3").casefold()) ch = '3';
90
else if (ev_str == _("4").casefold()) ch = '4';
91
else if (ev_str == _("5").casefold()) ch = '5';
92
else if (ev_str == _("6").casefold()) ch = '6';
93
else if (ev_str == _("7").casefold()) ch = '7';
94
else if (ev_str == _("8").casefold()) ch = '8';
95
else if (ev_str == _("9").casefold()) ch = '9';
98
this.canvas.start_choice (ch);
68
102
Gtk.Action solve_action;
69
103
Gtk.Widget setup_menu ()