まぁ、これに慣れていくべしとなる。
↓
8/1.
F10とかのファンクションキーの問題、すっきり解決。
yuki-to.info
ググったら世の中にはたいてい同じことで困っている人がいる。このばあい、
まず、「F10」機能が使えなくなっている方に試して欲しい方法がこちらです。
「Fn」キーと「Esc」キーを同時に押す「Fn」キーと「Esc」キーを同時に押すことでファンクションキーのロックが解除(もう一度押すとファンクションキーがロック)されます。
だそうで、たしかにうまくいったし、よく見ればFnキーに、「Fn+Esc鍵」とちいさく書いてあった。これが「ホットキー優先モード/ファンクションキー優先モード」の切り替えになっていた。いやしかし、F10キーを使う人で、日常優先的に、「半角英字にする」より「カメラを無効にする」を頻繁に使う人っているのかね。
ともあれ、不便だったところがひとつ解決。