equal
deleted
inserted
replaced
249 Iterator<AWTKeyStroke> iter = strokes.iterator(); |
249 Iterator<AWTKeyStroke> iter = strokes.iterator(); |
250 while (iter.hasNext()) { |
250 while (iter.hasNext()) { |
251 embedder.registerAccelerator(iter.next(), i++); |
251 embedder.registerAccelerator(iter.next(), i++); |
252 } |
252 } |
253 } |
253 } |
254 // Now we know that the the embedder is an XEmbed server, so we |
254 // Now we know that the embedder is an XEmbed server, so we |
255 // reregister the drop target to enable XDnD protocol support via |
255 // reregister the drop target to enable XDnD protocol support via |
256 // XEmbed. |
256 // XEmbed. |
257 updateDropTarget(); |
257 updateDropTarget(); |
258 } |
258 } |
259 void notifyStopped() { |
259 void notifyStopped() { |