オペレータの方から「時々Finderのショートカットが効かなくなる」と報告があった。 いわく、いつもはちゃんとショートカットも使えているのに、時々使えなくなるのだそうな。 使えなくなるのはFinderのショートカットだけで、他のアプリケーションのショー…