=== modified file 'uspace/srv/hid/console/console.c'
--- uspace/srv/hid/console/console.c	2014-08-12 17:14:32 +0000
+++ uspace/srv/hid/console/console.c	2015-05-10 08:32:22 +0000
@@ -249,7 +249,7 @@
     keymod_t mods, wchar_t c)
 {
 	if ((key >= KC_F1) && (key <= KC_F1 + CONSOLE_COUNT) &&
-	    ((mods & KM_CTRL) == 0)) {
+	    (((mods & KM_LALT) == 1) || ((mods & KM_RALT) == 1))) {
 		cons_switch(key - KC_F1);
 	} else {
 		/* Got key press/release event */