spotlightの機能がoption+に統合されて以降、「ポインター・シェード・拡大」機能の切り替えがおかしい。具体的には連続でボタンを押しても切り替わらないため、現在は三つのうち一つしか割り当てられない。早急に改善してほしい。