ubuntu 12.04: terminal 에서 F10 key disable

1. 터미널 메뉴에서 바로가기 키 -> 메뉴 바로가기 키(기본값F10) 사용하기(M) 에 체크를 풀고(Uncheck),

2. ~/.config/gtk-3.0/gtk.css 파일을 생성하고 아래 내용을 편집. 터미날을 재 시작.

@binding-set NoKeyboardNavigation {
unbind "F10"
}

* {
gtk-key-bindings: NoKeyboardNavigation
}