でもクイック検索のオプションフラグは基本的に固定されてるほうが使いやすいから
どうせならクイック検索の動作は自動マーカーの設定状態に連動してほしい

現状だと検索ダイアログでオプションの ON/OFF を変更すると
そのたびにクイック検索の動作も変わっちゃうからオレにはちょっと使いづらい
検索ダイアログにオプションフラグのリセット用ボタンでもあるとマシだとおもうが…

今はクイック検索もどきの機能をマクロ化してオプションフラグ固定で動作するようにしてる