public boolean redo() {
	  if (hystoryRedo.size()==0) return false;
	  int index = hystoryRedo.size() - 1;
	  hystory.add(hystoryRedo.remove(index));
	  hystoryRedo.trimToSize();
	  setMode(hystory.lastElement().getWidth()*8, hystory.lastElement().getHeight()*8);
	  map = new Vector<Integer>();
	  for (int a : hystory.lastElement().getMap()) map.add(a);
	  toRefresh=true;
	  repaint();
	  return true;
  }