public void redo() { ElemUndo redo = Undo.redo(); if (redo != null) { selectArea = redo.undo(selectArea, clr, lyr, map); refreshImage(); } }