MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2025-12-14 18:05:27 +07:00
Code Issues Packages Projects Releases Wiki Activity

[threading] IJPL-182690: Disable UI in case of IDE freeze

Browse Source 
GitOrigin-RevId: 4d9bfe4ec7d68f4a6e0cea5543d64f4e4b0e22b7
This commit is contained in:
Konstantin Nisht
2025-06-19 12:08:26 +02:00
committed by intellij-monorepo-bot
parent efe41f6d8d
commit aa6e4499c5
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
platform/util/resources/misc/registry.properties
View File

@@ -323,7 +323,7 @@ ide.preferred.scrollable.viewport.visible.rows.description=Specifies default num
ide.preferred.scrollable.viewport.extra.space=true
ide.preferred.scrollable.viewport.extra.space.description=Adds an extra space to show that a list can be scrolled
ide.suvorov.progress.kind=[None|Bar|Spinning|Overlay*]
ide.suvorov.progress.kind=[None*|Bar|Spinning|Overlay]
ide.suvorov.progress.kind.description=Kind of progress that is used to make an impression of live IDE when it is freezed on acquisition of locks
ide.suvorov.progress.showing.delay.ms=1000