equal
deleted
inserted
replaced
180 if (active) { |
180 if (active) { |
181 // unregister accelerators, etc. for old parent |
181 // unregister accelerators, etc. for old parent |
182 embedded.notifyStopped(); |
182 embedded.notifyStopped(); |
183 // check if newParent is a root window |
183 // check if newParent is a root window |
184 X11GraphicsConfig gc = (X11GraphicsConfig)embedded.getGraphicsConfiguration(); |
184 X11GraphicsConfig gc = (X11GraphicsConfig)embedded.getGraphicsConfiguration(); |
185 X11GraphicsDevice gd = (X11GraphicsDevice)gc.getDevice(); |
185 X11GraphicsDevice gd = gc.getDevice(); |
186 if ((newParent == XlibUtil.getRootWindow(gd.getScreen())) || |
186 if ((newParent == XlibUtil.getRootWindow(gd.getScreen())) || |
187 (newParent == XToolkit.getDefaultRootWindow())) |
187 (newParent == XToolkit.getDefaultRootWindow())) |
188 { |
188 { |
189 // reparenting to root means XEmbed termination |
189 // reparenting to root means XEmbed termination |
190 active = false; |
190 active = false; |