mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-21 20:54:49 +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