Loading...
Comment:
Fix facet refreshing still blocking EDT sometimes

Also should improve performance of refresh
Status: all builds with this change have finished
Revision: 88123b1c22df234a8a7ef79dd5e12e174e68678f VCS Root: minecraft-dev/MinecraftDev (Git)
Parent revisions: 4b7455d4a70fcadc0a173c2cf7027f2221896290  
User: Unknown (none of TeamCity users defined rednesto username in their VCS username settings)
×

Edit change description

Here you can change the description in TeamCity only. You may consider changing it in the VCS as well, to avoid an ambiguity and inconsistency.

Cancel
Changed: 1 file (1 edited) in
Download patch
Download patch to IDE
Open in GitHub
edited src/main/kotlin/facet/MinecraftFacetDetector.kt
×

Add build comment

Cancel
×

Mute test

×

×

Server communication failure

Server is unavailable

Server stopped or communication with the server is not possible due to network failure.

Server shutdown started.

Please relogin to continue your work.

×

Run Custom Build

×

TODO

Loading related builds...
Cancel
×

Responsibility

×

Edit tags

Cancel
×

Loading...

×

Are you sure?

Cancel
×

Please type to confirm.
Cancel