How to use

getSelection

method

in

org.apache.batik.bridge.ConcreteTextSelector

/**
 * 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();