43
43
} else if (((event.keyval == Gdk.Key.s) ||
44
44
(event.keyval == Gdk.Key.f)) &&
45
45
((event.state & Gdk.ModifierType.CONTROL_MASK) != 0)) {
47
47
} else if (event.length >= 1 &&
48
48
Gdk.keyval_to_unicode (event.keyval) != 0 &&
49
49
(event.state & Gdk.ModifierType.CONTROL_MASK) == 0 &&