=== modified file 'linux/mainwindow.cc'
--- linux/mainwindow.cc	2010-07-27 04:26:37 +0000
+++ linux/mainwindow.cc	2010-08-26 20:19:11 +0000
@@ -881,6 +881,11 @@
 			mw->nextTab_gui();
 			return TRUE;
 		}
+		else if (event->keyval == GDK_F4)
+		{
+			onCloseClicked_gui(widget, data);
+			return TRUE;
+		}
 	}
 
 	return FALSE;