WindowsのF10キーはいろいろ用途があります。伝統的な理由やOSの機能とか。 Altキーと同じでメニューにフォーカスをあてる IMEでの文字全角/半角切り替え。 テキストファイルでのタグジャンプ機能 タグジャンプ機能って最近は少なくなったかな？grepなんかで…