void handleKeyPressEvent(XKeyEvent e, XWindow window, XWindow root, XWindow subwindow)
{
XKeySym ks = window.KeycodeToKeysym(e.keycode);
if (ks== XKeySym.NoSymbol)
return;
switch(ks)
{
case XKeySym.XK_Delete:
Console.WriteLine("Window manager is restarting...");
restart();
break;
case XKeySym.XK_End:
Console.WriteLine("Window manager is quitting.");
quitNicely();
break;
}
}
