公開日:2023年2月10日
MDIモードでもグローバル検索(grep)中に編集可能になったことによるものです。
なお、シングルステップ実行をするか、waitevent() によりすぐに次のステップを実行しないようにすることは可能です。