private static final long serialVersionUID = 1L;
public PanelToolDm(final MapEditableInfo mapInfo) {
if (CampaignClient.getInstance().getCurrentPlayer().isDm()) {
JButton changeFilter = new JButton(new ChangeMapFilterAction(
mapInfo));
this.add(changeFilter);
this.addSeparator();
JButton rescale = new JButton(new RescaleAction(mapInfo));