public void actionPerformed(ActionEvent e) {
        	  if (imMapper.redo()) {
        		  f.setMapWidth(hystory.lastElement().getWidth());
        		  f.setMapHeight(hystory.lastElement().getHeight());
        	  }
          }