mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-10-01 19:02:13 +07:00
datarace fixed (^cdr)
This commit is contained in:
@@ -43,10 +43,10 @@ class UsedColors {
|
||||
@NotNull final String name,
|
||||
@NotNull RainbowHighlighter rainbowHighlighter) {
|
||||
int colorsCount = rainbowHighlighter.getColorsCount();
|
||||
Object data = context.getUserData(USED_COLOR);
|
||||
|
||||
int colorIndex;
|
||||
while (true) {
|
||||
Object data = context.getUserData(USED_COLOR);
|
||||
Object newColors;
|
||||
if (data == null) {
|
||||
colorIndex = hashColor(name, colorsCount);
|
||||
|
||||
Reference in New Issue
Block a user