mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-15 20:26:04 +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