101 reputation
1
bio website
location Prague
age 29
visits member for 1 year, 3 months
seen Apr 18 at 9:17

Jan
3
comment Why does F10 in gnome-terminal open the right-click menu?
Worked fine for me with Ubuntu 12.04
Jan
3
awarded  Supporter
Jan
3
comment Why does F10 in gnome-terminal open the right-click menu?
That wasn't working for me with Ubuntu 12.04, worked fine when I used 'ubind "F10"' as described in first answer.