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