* @param key The view key name
*/
public void moveVertex(Vertex v, Coordinates coords, String key) {
AbstractLayout l = getLayout(key);
if (l != null && v != null) {
l.forceMove(v, coords.getX(), coords.getY());
}
}
public void removeGraphListener(GraphListener pl) {
synchronized (_listeners) {