mirrors/JetBrainsRuntime
1
0
Fork 0
mirror of https://github.com/JetBrains/JetBrainsRuntime.git synced 2025-12-21 08:49:39 +01:00
Code Issues Packages Projects Releases Wiki Activity

JBR-7071 Wayland: cursor does not change when hovering over gutter icons

Browse Source
This commit is contained in:
Maxim Kartashev
2024-11-29 18:31:26 +04:00
committed by Nikita Gubarkov
parent 0408aff243
commit 1a3dfbc4ab
1 changed files with 4 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
src/java.desktop/unix/classes/sun/awt/wl/WLComponentPeer.java
View File

@@ -84,11 +84,12 @@ public class WLComponentPeer implements ComponentPeer {
// mapping of AWT cursor types to X cursor names // mapping of AWT cursor types to X cursor names
// multiple variants can be specified, that will be tried in order // multiple variants can be specified, that will be tried in order
// See https://freedesktop.org/wiki/Specifications/cursor-spec/
private static final String[][] CURSOR_NAMES = { private static final String[][] CURSOR_NAMES = {
{"default", "arrow", "left_ptr", "left_arrow"}, // DEFAULT_CURSOR {"default", "arrow", "left_ptr", "left_arrow"}, // DEFAULT_CURSOR
{"crosshair"}, // CROSSHAIR_CURSOR {"crosshair", "cross"}, // CROSSHAIR_CURSOR
{"text", "xterm"}, // TEXT_CURSOR {"text", "xterm"}, // TEXT_CURSOR
{"wait", "watch"}, // WAIT_CURSOR {"wait", "watch", "progress"}, // WAIT_CURSOR
{"sw-resize", "bottom_left_corner"}, // SW_RESIZE_CURSOR {"sw-resize", "bottom_left_corner"}, // SW_RESIZE_CURSOR
{"se-resize", "bottom_right_corner"}, // SE_RESIZE_CURSOR {"se-resize", "bottom_right_corner"}, // SE_RESIZE_CURSOR
{"nw-resize", "top_left_corner"}, // NW_RESIZE_CURSOR {"nw-resize", "top_left_corner"}, // NW_RESIZE_CURSOR
@@ -97,7 +98,7 @@ public class WLComponentPeer implements ComponentPeer {
{"s-resize", "bottom_side"}, // S_RESIZE_CURSOR {"s-resize", "bottom_side"}, // S_RESIZE_CURSOR
{"w-resize", "left_side"}, // W_RESIZE_CURSOR {"w-resize", "left_side"}, // W_RESIZE_CURSOR
{"e-resize", "right_side"}, // E_RESIZE_CURSOR {"e-resize", "right_side"}, // E_RESIZE_CURSOR
{"hand"}, // HAND_CURSOR {"pointer", "pointing_hand", "hand1", "hand2"}, // HAND_CURSOR
{"move"}, // MOVE_CURSOR {"move"}, // MOVE_CURSOR
}; };