private void Window_KeyPress(object o, KeyPressEventArgs e) {
if ((Gdk.ModifierType.ControlMask & e.Event.State) != 0) {
switch(e.Event.Key) {
private void Window_KeyPress(object o, KeyPressEventArgs e) {
if ((Gdk.ModifierType.ControlMask & e.Event.State) != 0) {
switch(e.Event.Key) {