if (highlighter != null) {
HighlighterIterator itr = ((EditorEx)editor).getHighlighter().createIterator(offset);
selectItem(itr, highlighter, select);
if (highlighter != null) {
HighlighterIterator itr = ((EditorEx)editor).getHighlighter().createIterator(offset);
selectItem(itr, highlighter, select);
- if (!select) {
- ClickNavigator.setCursor(editor, Cursor.HAND_CURSOR);
- }
- else {
- ClickNavigator.setCursor(editor, Cursor.TEXT_CURSOR);
- }
+ ClickNavigator.setCursor(editor, select ? Cursor.TEXT_CURSOR : Cursor.HAND_CURSOR);
String type = ((EditorSchemeAttributeDescriptor)description).getType();
List<HighlightData> highlights = startBlinkingHighlights(myEditor,
String type = ((EditorSchemeAttributeDescriptor)description).getType();
List<HighlightData> highlights = startBlinkingHighlights(myEditor,
myPage.getHighlighter(), true,
myBlinkingAlarm, BLINK_COUNT, myPage);
myPage.getHighlighter(), true,
myBlinkingAlarm, BLINK_COUNT, myPage);
private static boolean isOffsetVisible(final Editor editor, final int startOffset) {
Rectangle visibleArea = editor.getScrollingModel().getVisibleArea();
Point point = editor.logicalPositionToXY(editor.offsetToLogicalPosition(startOffset));
private static boolean isOffsetVisible(final Editor editor, final int startOffset) {
Rectangle visibleArea = editor.getScrollingModel().getVisibleArea();
Point point = editor.logicalPositionToXY(editor.offsetToLogicalPosition(startOffset));