if (pointedField != this.getWorkingField()) {
Coordinate pos = null;
if (pointedField != null) {
pos = pointedField.getPosition();
}
SetWorkingField setWFChange = new SetWorkingField(this, pos);
setWFChange.execute();
}
} else if (this.setWFByKeyboard()) {
messages.err("QuadMap", "setWFByKeyboard not yet implemented");
} else {
messages.err("QuadMap", "QuadMap: BUG!!! " +