/** * Creates a Pageable object for printing this view. */ public Pageable createPageable() { return new DrawingPageable(view.getDrawing()); }
/** * Creates a Pageable object for printing the view. */ public Pageable createPageable() { return new DrawingPageable(view.getDrawing()); }
/** * Creates a Pageable object for printing the view. */ public Pageable createPageable() { return new DrawingPageable(view.getDrawing()); }
/** * Creates a Pageable object for printing the view. */ public Pageable createPageable() { return new DrawingPageable(view.getDrawing()); }
/** * Writes the view to the specified uri. */ @Override public void write(URI f, URIChooser fc) throws IOException { new SVGOutputFormat().write(new File(f), view.getDrawing()); }
/** * Writes the view to the specified uri. */ @Override public void write(URI f, URIChooser chooser) throws IOException { Drawing drawing = view.getDrawing(); OutputFormat outputFormat = drawing.getOutputFormats().get(0); outputFormat.write(f, drawing); }
/** * Writes the view to the specified uri. */ @Override public void write(URI f, URIChooser chooser) throws IOException { Drawing drawing = view.getDrawing(); OutputFormat outputFormat = drawing.getOutputFormats().get(0); outputFormat.write(f, drawing); }
@Override public void redo() throws CannotRedoException { super.redo(); getDrawing().addAll(duplicates); } });
@Override public void run() { view.getDrawing().removeUndoableEditListener(undo); view.setDrawing(newDrawing); view.getDrawing().addUndoableEditListener(undo); undo.discardAllEdits(); } });
@Override public void run() { view.getDrawing().removeUndoableEditListener(undo); view.setDrawing(drawing); view.getDrawing().addUndoableEditListener(undo); undo.discardAllEdits(); } });
public void setDrawing(Drawing d) { undoManager.discardAllEdits(); if (view.getDrawing() != null) { view.getDrawing().removeUndoableEditListener(undoManager); } view.setDrawing(d); d.addUndoableEditListener(undoManager); }
/** * Finds a figure at a given coordinates. * @return A figure, null if no figure is found. */ @Override public Figure findFigure( Point p) { return getDrawing().findFigure(viewToDrawing(p)); }
@Override public void undo() throws CannotUndoException { super.undo(); getDrawing().removeAll(duplicates); }
@Override public void run() { view.getDrawing().removeUndoableEditListener(undo); view.setDrawing(newDrawing); view.getDrawing().addUndoableEditListener(undo); undo.discardAllEdits(); } });
@Override public void run() { view.getDrawing().removeUndoableEditListener(undo); view.setDrawing(newDrawing); view.getDrawing().addUndoableEditListener(undo); undo.discardAllEdits(); } });
@Override public void run() { view.getDrawing().removeUndoableEditListener(undo); view.setDrawing(drawing); view.getDrawing().addUndoableEditListener(undo); undo.discardAllEdits(); } });
@Override public void undo() throws CannotUndoException { super.undo(); clearSelection(); Drawing d = getDrawing(); for (int i = 0; i < deletedFigureIndices.length; i++) { d.add(deletedFigureIndices[i], deletedFigures.get(i)); } addToSelection(deletedFigures); }
public void setDrawing(Drawing d) { undoManager.discardAllEdits(); view.getDrawing().removeUndoableEditListener(undoManager); view.setDrawing(d); d.addUndoableEditListener(undoManager); } public Drawing getDrawing() {
public void setDrawing(Drawing d) { undoManager.discardAllEdits(); view.getDrawing().removeUndoableEditListener(undoManager); view.setDrawing(d); d.addUndoableEditListener(undoManager); } public Drawing getDrawing() {
public void setDrawing(Drawing d) { undoManager.discardAllEdits(); view.getDrawing().removeUndoableEditListener(undoManager); view.setDrawing(d); d.addUndoableEditListener(undoManager); } public Drawing getDrawing() {