6263646566676869707172
(int) marqueeBounds.getY(), (int) marqueeBounds.getWidth() + 1, (int) marqueeBounds.getHeight() + 1); dirty.width++; dirty.height++; graph.repaint(dirty); } } finally { currentPoint = null; startPoint = null; marqueeBounds = null;
5859606162636465666768
(int) marqueeBounds.getY(), (int) marqueeBounds .getWidth() + 1, (int) marqueeBounds .getHeight() + 1); dirty.width++; dirty.height++; graph.repaint(dirty); } } finally { currentPoint = null; startPoint = null; marqueeBounds = null;
116117118119120121122123124125126
g.setColor(bg); g.setXORMode(fg); overlay(graph, g, false); } else { dirty.add(marqueeBounds); graph.repaint((int) dirty.getX()-1, (int) dirty.getY()-1, (int) dirty.getWidth()+2, (int) dirty.getHeight()+2); } } }