mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
[threading] IJPL-184084: Enable raw access to editor models on EDT
GitOrigin-RevId: fc0af9f8db70c4c642d7f6a2744fb5c16dba3883
This commit is contained in:
committed by
intellij-monorepo-bot
parent
bb98d3c5e3
commit
685ae10979
@@ -429,7 +429,7 @@ editor.mouseSelectionStateResetDeadZone=4
|
||||
editor.distraction.free.mode=false
|
||||
editor.paint.empty.text=true
|
||||
|
||||
editor.allow.raw.access.on.edt=false
|
||||
editor.allow.raw.access.on.edt=true
|
||||
editor.allow.raw.access.on.edt.description=Enables the possibility to interact with the Editor models (Caret, Selection, etc.) without read lock on EDT
|
||||
|
||||
editor.focus.mode.color.light=c0c0c0
|
||||
|
||||
Reference in New Issue
Block a user