mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-05 08:06:56 +07:00
Needed for the case when the AsyncDocumentFormattingService doesn't want to change the document text in FormattingTask.run() GitOrigin-RevId: cccca19fc1928c4f6045e181536dbaf975926a6e