mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
minor fixes
This commit is contained in:
+2
-1
@@ -58,7 +58,7 @@ public abstract class BraceMatcherBasedSelectioner extends ExtendWordSelectionHa
|
||||
&& !stack.isEmpty() && braceMatcher.isPairBraces((last = stack.getLast()).third, iterator.getTokenType())) {
|
||||
stack.removeLast();
|
||||
result.addAll(expandToWholeLine(editorText, new TextRange(last.first, iterator.getEnd())));
|
||||
int bodyStart = last.second + 1;
|
||||
int bodyStart = last.second;
|
||||
int bodyEnd = iterator.getStart();
|
||||
while (bodyStart < textLength && Character.isWhitespace(editorText.charAt(bodyStart))) bodyStart ++;
|
||||
while (bodyEnd > 0 && Character.isWhitespace(editorText.charAt(bodyEnd - 1))) bodyEnd --;
|
||||
@@ -69,4 +69,5 @@ public abstract class BraceMatcherBasedSelectioner extends ExtendWordSelectionHa
|
||||
result.add(e.getTextRange());
|
||||
return result;
|
||||
}
|
||||
|
||||
}
|
||||
@@ -30,6 +30,7 @@ import com.intellij.openapi.application.ModalityState;
|
||||
import com.intellij.openapi.diagnostic.Logger;
|
||||
import com.intellij.openapi.editor.*;
|
||||
import com.intellij.openapi.editor.actions.EditorActionUtil;
|
||||
import com.intellij.openapi.editor.colors.EditorColors;
|
||||
import com.intellij.openapi.editor.colors.EditorColorsScheme;
|
||||
import com.intellij.openapi.editor.colors.impl.DelegateColorScheme;
|
||||
import com.intellij.openapi.editor.event.*;
|
||||
@@ -522,8 +523,11 @@ public class LanguageConsoleImpl implements Disposable, TypeSafeDataProvider {
|
||||
for (RangeHighlighter rangeHighlighter : from.getAllHighlighters()) {
|
||||
if (!rangeHighlighter.isValid()) continue;
|
||||
Object tooltip = rangeHighlighter.getErrorStripeTooltip();
|
||||
HighlightSeverity severity = tooltip instanceof HighlightInfo? ((HighlightInfo)tooltip).getSeverity() : null;
|
||||
if (severity != HighlightSeverity.INFORMATION) continue;
|
||||
HighlightInfo highlightInfo = tooltip instanceof HighlightInfo? (HighlightInfo)tooltip : null;
|
||||
if (highlightInfo != null) {
|
||||
if (highlightInfo.getSeverity() != HighlightSeverity.INFORMATION) continue;
|
||||
if (highlightInfo.type.getAttributesKey() == EditorColors.IDENTIFIER_UNDER_CARET_ATTRIBUTES) continue;
|
||||
}
|
||||
final int localOffset = textRange.getStartOffset();
|
||||
final int start = Math.max(rangeHighlighter.getStartOffset(), localOffset) - localOffset;
|
||||
final int end = Math.min(rangeHighlighter.getEndOffset(), textRange.getEndOffset()) - localOffset;
|
||||
|
||||
Reference in New Issue
Block a user