/** * Reports whether the current selection contains any objects. */ public boolean isEmpty() { return (getSelection() == null); }
/** * Reports whether the current selection contains any objects. */ public boolean isEmpty() { return (getSelection() == null); }
/** * Reports whether the current selection contains any objects. */ public boolean isEmpty() { return (getSelection() == null); }
public void changeCompleted (GraphicsNodeChangeEvent gnce) { if (selectionNode == null) { return; } Shape newShape = ((Selectable)selectionNode).getHighlightShape(); dispatchSelectionEvent (new SelectionEvent(getSelection(), SelectionEvent.SELECTION_CHANGED, newShape)); }
public void changeCompleted (GraphicsNodeChangeEvent gnce) { if (selectionNode == null) { return; } Shape newShape = ((Selectable)selectionNode).getHighlightShape(); dispatchSelectionEvent (new SelectionEvent(getSelection(), SelectionEvent.SELECTION_CHANGED, newShape)); }
public void changeCompleted (GraphicsNodeChangeEvent gnce) { if (selectionNode == null) { return; } Shape newShape = ((Selectable)selectionNode).getHighlightShape(); dispatchSelectionEvent (new SelectionEvent(getSelection(), SelectionEvent.SELECTION_CHANGED, newShape)); }
public void setSelection(Mark begin, Mark end) { TextNode node = begin.getTextNode(); if (node != end.getTextNode()) { throw new Error("Markers not from same TextNode"); } node.setSelection(begin, end); selectionNode = node; selectionNodeRoot = node.getRoot(); Object selection = getSelection(); Shape shape = node.getHighlightShape(); dispatchSelectionEvent(new SelectionEvent (selection, SelectionEvent.SELECTION_DONE, shape)); }
public void setSelection(Mark begin, Mark end) { TextNode node = begin.getTextNode(); if (node != end.getTextNode()) { throw new RuntimeException("Markers not from same TextNode"); } node.setSelection(begin, end); selectionNode = node; selectionNodeRoot = node.getRoot(); Object selection = getSelection(); Shape shape = node.getHighlightShape(); dispatchSelectionEvent(new SelectionEvent (selection, SelectionEvent.SELECTION_DONE, shape)); }
public void setSelection(Mark begin, Mark end) { TextNode node = begin.getTextNode(); if (node != end.getTextNode()) { throw new RuntimeException("Markers not from same TextNode"); } node.setSelection(begin, end); selectionNode = node; selectionNodeRoot = node.getRoot(); Object selection = getSelection(); Shape shape = node.getHighlightShape(); dispatchSelectionEvent(new SelectionEvent (selection, SelectionEvent.SELECTION_DONE, shape)); }
((Selectable) source).selectTo(p.getX(), p.getY()); Object oldSelection = getSelection(); if (selectionNode != null) { Shape newShape; Object oldSelection = getSelection(); Shape newShape = ((Selectable) source).getHighlightShape();
((Selectable) source).selectTo(p.getX(), p.getY()); Object oldSelection = getSelection(); if (selectionNode != null) { Shape newShape; Object oldSelection = getSelection(); Shape newShape = ((Selectable) source).getHighlightShape();
((Selectable) source).selectTo(p.getX(), p.getY()); Object oldSelection = getSelection(); if (selectionNode != null) { Shape newShape; Object oldSelection = getSelection(); Shape newShape = ((Selectable) source).getHighlightShape();