540541542543544545546547548549550
finderBounds = bounds; // LATER: Fix repaint region to be smaller if (repaint) { old = old.union(finderBounds); old.grow(3, 3); repaint(old); } } }
545546547548549550551552553554555
{ pt = pts.get(i); buf.append(" l " + Math.round(pt.getX()) + " " + Math.round(pt.getY())); r = r.union(new Rectangle(pt.getPoint())); } String d = buf.toString(); elem.setAttribute("path", d); elem.setAttribute("filled", "false");
212213214215216217218219220221222
double minY = 0; double maxX = 0; double maxY = 0; Rectangle area = bgRect.getBounds().union(underRect.getBounds()); if (tabRect != null) area = area.union(tabRect.getBounds()); if (line != null) { area = area.union(new Rectangle(line.getBounds()) ); if (triangle != null) area = area.union(triangle.getBounds()); } if (moveRect != null) {
214215216217218219220221222223224
double maxY = 0; Rectangle area = bgRect.getBounds().union(underRect.getBounds()); if (tabRect != null) area = area.union(tabRect.getBounds()); if (line != null) { area = area.union(new Rectangle(line.getBounds()) ); if (triangle != null) area = area.union(triangle.getBounds()); } if (moveRect != null) { Rectangle movingRect = moveRect.getShape().getBounds(); movingRect.grow(10,10);
215216217218219220221222223224225
Rectangle area = bgRect.getBounds().union(underRect.getBounds()); if (tabRect != null) area = area.union(tabRect.getBounds()); if (line != null) { area = area.union(new Rectangle(line.getBounds()) ); if (triangle != null) area = area.union(triangle.getBounds()); } if (moveRect != null) { Rectangle movingRect = moveRect.getShape().getBounds(); movingRect.grow(10,10); area = area.union(movingRect);
867868869870871872873874875876877
r = textArea.modelToView(start); if (r==null) { // Not yet visible; i.e. JUnit tests return; } if (end!=start) { r = r.union(textArea.modelToView(end)); } } catch (BadLocationException ble) { // Never happens ble.printStackTrace(); textArea.setSelectionStart(start); textArea.setSelectionEnd(end);
13751376137713781379138013811382138313841385
r = textArea.modelToView(start); if (r==null) { // Not yet visible; i.e. JUnit tests return; } if (end!=start) { r = r.union(textArea.modelToView(end)); } } catch (BadLocationException ble) { // Never happens ble.printStackTrace(); if (select) { textArea.setSelectionStart(start);
541542543544545546547548549550551
553554555556557558559560561562563
{ pt = pts.get(i); d += " l " + Math.round(pt.getX()) + " " + Math.round(pt.getY()); r = r.union(new Rectangle(pt.getPoint())); } elem.setAttribute("path", d); elem.setAttribute("filled", "false"); elem.setAttribute("strokecolor", strokeColor);
360361362363364365366367368369370
public static Rectangle getVirtualScreenBounds() { Rectangle virtualBounds = new Rectangle(); GraphicsEnvironment ge = GraphicsEnvironment.getLocalGraphicsEnvironment(); for (GraphicsDevice gd : ge.getScreenDevices()) { if (gd.getType() == GraphicsDevice.TYPE_RASTER_SCREEN) { virtualBounds = virtualBounds.union(gd.getDefaultConfiguration().getBounds()); } } return virtualBounds; }