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

IDEA-180416 Blinking mouse cursor over links in editor/console

Browse Source 
fix one more case - selected text in console
This commit is contained in:
Dmitry Batrak
2017-12-19 18:37:54 +03:00
parent 68bcd50b32
commit 1241ebe3b7
1 changed files with 4 additions and 15 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/execution/impl/EditorHyperlinkSupport.java
+4 -15
View File
@@ -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);