お世話になっております。
自分で2000個くらいで
document.selection.BatchReplace(batch_list,eeReplaceAll,eeExFindRegexOnigmo);
batch_list = editor.filters;
このように区切りを毎回つけるのでも、速くできますが、この方法だと、データベースを付け足したときに重複削除したときに全部消えてしまう、また再度付け足さないといけない、重複で消えないようにするには、コメントで番号を付けるなどで管理が大変になります。
このことからbatch_list = editor.filters;とdocument.selection.BatchReplace(batch_list,eeReplaceAll,eeExFindRegexOnigmo);は、最低限にして、処理のアルゴリズムのほうで速度を最適化してもらうのがベストだと思います。
よろしくお願いいたします。