diff options
Diffstat (limited to 'gnu/java/awt/peer/x/XWindowPeer.java')
| -rw-r--r-- | gnu/java/awt/peer/x/XWindowPeer.java | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/gnu/java/awt/peer/x/XWindowPeer.java b/gnu/java/awt/peer/x/XWindowPeer.java index f9184ed1c..985c9af85 100644 --- a/gnu/java/awt/peer/x/XWindowPeer.java +++ b/gnu/java/awt/peer/x/XWindowPeer.java @@ -73,10 +73,12 @@ public class XWindowPeer | Event.POINTER_MOTION_MASK //| Event.RESIZE_REDIRECT_MASK | Event.EXPOSURE_MASK - //| Event.PROPERTY_CHANGE_MASK + | Event.PROPERTY_CHANGE_MASK | Event.STRUCTURE_NOTIFY_MASK + | Event.SUBSTRUCTURE_NOTIFY_MASK | Event.KEY_PRESS_MASK | Event.KEY_RELEASE_MASK + //| Event.VISIBILITY_CHANGE_MASK ; /** @@ -110,8 +112,10 @@ public class XWindowPeer int h = Math.max(window.getHeight(), 1); xwindow = new Window(dev.getDisplay().default_root, x, y, w, h, 0, atts); xwindow.select_input(standardSelect); + dev.getEventPump().registerWindow(xwindow, window); - + xwindow.set_wm_delete_window(); + boolean undecorated; if (awtComponent instanceof Frame) { @@ -303,4 +307,9 @@ public class XWindowPeer XGraphicsDevice dev = XToolkit.getDefaultDevice(); dev.getEventPump().unregisterWindow(xwindow); } + + public Window getXwindow() + { + return xwindow; + } } |