22. 9. 2011 14:02
netreba rusit cely menubar, staci pozriet nastavene skratky a zrusit kolidujuce. okrem toho pre zrusenie zrania F10 ma gnome terminal samostatnu volbu