equal
deleted
inserted
replaced
211 |
211 |
212 // todo swing: later on we will probably have one global RM |
212 // todo swing: later on we will probably have one global RM |
213 SwingUtilities3.setDelegateRepaintManager(delegate, new RepaintManager() { |
213 SwingUtilities3.setDelegateRepaintManager(delegate, new RepaintManager() { |
214 @Override |
214 @Override |
215 public void addDirtyRegion(final JComponent c, final int x, final int y, final int w, final int h) { |
215 public void addDirtyRegion(final JComponent c, final int x, final int y, final int w, final int h) { |
216 if (SunToolkit.isDispatchThreadForAppContext(getTarget())) { |
216 repaintPeer(SwingUtilities.convertRectangle( |
217 synchronized (getDelegateLock()) { |
217 c, new Rectangle(x, y, w, h), getDelegate())); |
218 if (getDelegate().isPaintingForPrint()) { |
|
219 return; |
|
220 } |
|
221 } |
|
222 } |
|
223 Rectangle res = SwingUtilities.convertRectangle( |
|
224 c, new Rectangle(x, y, w, h), getDelegate()); |
|
225 repaintPeer(res); |
|
226 } |
218 } |
227 }); |
219 }); |
228 } |
220 } |
229 } |
221 } |
230 |
222 |