mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-06 03:21:12 +07:00
If we didn't process auto-formatted events from document - document could be broken by replacement. Do not insert replacement string to the broken textrange