public void pickToSync(V vertex) {
		pickToSync(vertex, false);
	}
Picks the given vertex, but signals that the pick is really just to make sure that the 
vertex is picked in order to match the graph's notion of the current location.  To pick a 
vertex and signal that the location has changed, call {@link #pick(Object, boolean)}. 
Calling this method is the same as calling 
<pre>pickToSync(vertex, false);</pre>

@param vertex the vertex to pick
Ghidra/Framework/Graph/src/main/java/ghidra/graph/viewer/event/picking/GPickedState.java