package mapmaker;
import java.awt.*;
public class MapEditFilter extends MapDecorator {
boolean enabled;
MapEditFilter(Map map) {
super(map);
enabled = true;
} // MapEditFilter
public void enableEdit() {
enabled = true;
} // enableEdit
public void disableEdit() {
enabled = false;
} // disableEdit
public void newRoom(Point pos) {
if (enabled)
super.newRoom(pos);
} // newRoom
public void killRoom(Point pos) {
if (enabled)
super.killRoom(pos);
} // killRoom
public void swapRooms(Point pos1, Point pos2) {
if (enabled)
super.swapRooms(pos1, pos2);
} // swapRooms
public void linkRooms(Point pos1, Point pos2) {
if (enabled)
super.linkRooms(pos1, pos2);
} // linkRooms
} // MapEditFilter