[longlong]

自己レスです。

以下の操作を行うとブックマークが正常に設定/解除できる場合が多いです。

Ctrl 押下
F2押下
Ctrl放す
F2放す

Ctrl+F2を押しっぱなしにするとリピートはするので、適当な時点でF2を放すとどっちかになるという使い方もできますが
不便です。私のPCだけなのでしょうか？