javauis/eswt_qt/org.eclipse.swt/Eclipse SWT/qt/org/eclipse/swt/widgets/Widget.java
--- a/javauis/eswt_qt/org.eclipse.swt/Eclipse SWT/qt/org/eclipse/swt/widgets/Widget.java Thu May 27 12:49:31 2010 +0300
+++ b/javauis/eswt_qt/org.eclipse.swt/Eclipse SWT/qt/org/eclipse/swt/widgets/Widget.java Fri Jun 11 13:33:44 2010 +0300
@@ -185,7 +185,7 @@
}
final void addWidget (int handle) {
- display.addWidget(handle, this);
+ Display.addWidget(handle, this);
}
final void checkOrientation (Widget parent) {
@@ -204,14 +204,14 @@
} else {
// Use the default determined by a system property.
// Setting RIGHT_TO_LEFT flag triggers the coordinate mirroring.
- if(display.defaultOrientation != SWT.LEFT_TO_RIGHT) {
- style |= display.defaultOrientation;
+ if(Display.defaultOrientation != SWT.LEFT_TO_RIGHT) {
+ style |= Display.defaultOrientation;
}
// If there's no parent this widget follows the system language
// direction if that's the default behavior configured by a system
// property.
- if(display.defaultOrientationIsSysLangDirection)
+ if(Display.defaultOrientationIsSysLangDirection)
state |= WidgetState.FOLLOWS_SYSLANG_DIRECTION;
}
}
@@ -328,7 +328,7 @@
}
void deregister_pp () {
- if (handle != 0) display.removeWidget (handle);
+ if (handle != 0) Display.removeWidget (handle);
}
void destroyWidget () {
@@ -377,7 +377,7 @@
}
final boolean filters (int eventType) {
- return display.filters (eventType);
+ return Display.filters (eventType);
}
static final Command[] getCommands(Control control) {
@@ -874,7 +874,7 @@
void register_pp () {
if (handle == 0) return;
- if ((state & WidgetState.HANDLE) != 0) display.addWidget (handle, this);
+ if ((state & WidgetState.HANDLE) != 0) Display.addWidget (handle, this);
}
void release (boolean destroy) {
@@ -1019,12 +1019,12 @@
}
final Widget removeWidget (int handle) {
- return display.removeWidget(handle);
+ return Display.removeWidget(handle);
}
final void sendEvent (Event event) {
Display display = event.display;
- if (!display.filterEvent (event)) {
+ if (!Display.filterEvent (event)) {
if (eventTable != null) eventTable.sendEvent (event);
}
}
@@ -1038,7 +1038,7 @@
}
final void sendEvent (int eventType, Event event, boolean send) {
- if (eventTable == null && !display.filters (eventType)) {
+ if (eventTable == null && !Display.filters (eventType)) {
return;
}
if (event == null) event = new Event ();
@@ -1046,12 +1046,12 @@
event.display = display;
event.widget = this;
if (event.time == 0) {
- event.time = display.getLastEventTime ();
+ event.time = Display.getLastEventTime ();
}
if (send) {
sendEvent (event);
} else {
- display.postEvent (event);
+ Display.postEvent (event);
}
}