From 1241ebe3b70f42038830880f6bdb669cf4e80a66 Mon Sep 17 00:00:00 2001 From: Dmitry Batrak Date: Tue, 19 Dec 2017 18:37:54 +0300 Subject: [PATCH] IDEA-180416 Blinking mouse cursor over links in editor/console fix one more case - selected text in console --- .../impl/EditorHyperlinkSupport.java | 19 ++++--------------- 1 file changed, 4 insertions(+), 15 deletions(-) diff --git a/platform/platform-impl/src/com/intellij/execution/impl/EditorHyperlinkSupport.java b/platform/platform-impl/src/com/intellij/execution/impl/EditorHyperlinkSupport.java index ffae586d9817..ecbe16da80fd 100644 --- a/platform/platform-impl/src/com/intellij/execution/impl/EditorHyperlinkSupport.java +++ b/platform/platform-impl/src/com/intellij/execution/impl/EditorHyperlinkSupport.java @@ -1,17 +1,5 @@ /* - * Copyright 2000-2017 JetBrains s.r.o. - * - * Licensed under the Apache License, Version 2.0 (the "License"); - * you may not use this file except in compliance with the License. - * You may obtain a copy of the License at - * - * http://www.apache.org/licenses/LICENSE-2.0 - * - * Unless required by applicable law or agreed to in writing, software - * distributed under the License is distributed on an "AS IS" BASIS, - * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. - * See the License for the specific language governing permissions and - * limitations under the License. + * Copyright 2000-2017 JetBrains s.r.o. Use of this source code is governed by the Apache 2.0 license that can be found in the LICENSE file. */ package com.intellij.execution.impl; @@ -89,10 +77,11 @@ public class EditorHyperlinkSupport { public void mouseMoved(EditorMouseEvent e) { if (e.getArea() != EditorMouseEventArea.EDITING_AREA) return; final HyperlinkInfo info = getHyperlinkInfoByPoint(e.getMouseEvent().getPoint()); + Cursor handCursor = Cursor.getPredefinedCursor(Cursor.HAND_CURSOR); if (info != null) { - myEditor.getContentComponent().setCursor(Cursor.getPredefinedCursor(Cursor.HAND_CURSOR)); + myEditor.getContentComponent().setCursor(handCursor); } - else { + else if (myEditor.getContentComponent().getCursor() == handCursor) { final Cursor cursor = editor instanceof EditorEx ? UIUtil.getTextCursor(((EditorEx)editor).getBackgroundColor()) : Cursor.getPredefinedCursor(Cursor.TEXT_CURSOR);