mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 06:05:01 +07:00
add ticket reference
GitOrigin-RevId: 53ac98cca6d9558adae243868e7aa9789ff76406
This commit is contained in:
committed by
intellij-monorepo-bot
parent
6051cc0ee8
commit
b7dccf8807
+1
-1
@@ -11,7 +11,7 @@ import org.jetbrains.annotations.NotNull;
|
||||
public final class JavaHighlightErrorFilter extends HighlightErrorFilter {
|
||||
@Override
|
||||
public boolean shouldHighlightErrorElement(@NotNull PsiErrorElement element) {
|
||||
// todo we should handle it on the platform side
|
||||
// todo we should handle it on the platform side IJPL-185339
|
||||
if (element.getLanguage().equals(JavaLanguage.INSTANCE) && AppMode.isRemoteDevHost()) {
|
||||
return false;
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user