MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

use provided element as original one may become invalid due to reparse (WEB-24108)

Browse Source
This commit is contained in:
Dennis Ushakov
2016-11-09 19:03:31 +03:00
parent 9ac0b7580f
commit 421d00c4d5
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/lang-impl/src/com/intellij/ui/ColorLineMarkerProvider.java
+2 -2
View File
@@ -76,11 +76,11 @@ public final class ColorLineMarkerProvider implements LineMarkerProvider {
public void navigate(MouseEvent e, PsiElement elt) {
if (!elt.isWritable()) return;
final Editor editor = PsiUtilBase.findEditor(element);
final Editor editor = PsiUtilBase.findEditor(elt);
assert editor != null;
final Color c = ColorChooser.chooseColor(editor.getComponent(), "Choose Color", color, true);
if (c != null) {
WriteAction.run(() -> colorProvider.setColorTo(element, c));
WriteAction.run(() -> colorProvider.setColorTo(elt, c));
}
}
},