public void zoom(final double factor) {
    final double zoom = m_view.getZoom() * factor;
    m_view.setZoom(zoom);

    ZoomHelpers.keepZoomValid(m_view);

    m_graph.updateViews();
  }
Selects a list of nodes and unselects another list of nodes.

@param toSelect The list of nodes to select.
@param toUnselect The list of nodes to unselect.
java/zylib/src/main/java/com/google/security/zynamics/zylib/yfileswrap/gui/zygraph/AbstractZyGraph.java