Author: scabanovich
Date: 2011-12-14 19:26:37 -0500 (Wed, 14 Dec 2011)
New Revision: 37332
Modified:
trunk/common/plugins/org.jboss.tools.common.model.ui/src/org/jboss/tools/common/model/ui/widgets/DefaultSettings.java
Log:
JBIDE-10225
https://issues.jboss.org/browse/JBIDE-10225
System cursor is used.
Modified:
trunk/common/plugins/org.jboss.tools.common.model.ui/src/org/jboss/tools/common/model/ui/widgets/DefaultSettings.java
===================================================================
---
trunk/common/plugins/org.jboss.tools.common.model.ui/src/org/jboss/tools/common/model/ui/widgets/DefaultSettings.java 2011-12-15
00:03:25 UTC (rev 37331)
+++
trunk/common/plugins/org.jboss.tools.common.model.ui/src/org/jboss/tools/common/model/ui/widgets/DefaultSettings.java 2011-12-15
00:26:37 UTC (rev 37332)
@@ -83,8 +83,9 @@
}
protected void initCursors() {
- defaultCursor = new Cursor(Display.getCurrent(), SWT.CURSOR_ARROW);
- handCursor = new Cursor(Display.getCurrent(), SWT.CURSOR_HAND);
+ Display display = Display.getCurrent() != null ? Display.getCurrent() :
Display.getDefault();
+ defaultCursor = display.getSystemCursor(SWT.CURSOR_ARROW);
+ handCursor = display.getSystemCursor(SWT.CURSOR_HAND);
}
protected void initBorders() {