public void redo() {
		revising = true;
		if (!TEXT_FUTURE.isEmpty()) {
			String restoreText = TEXT_FUTURE.pop();
			TEXT_HISTORY.push(restoreText);
			textLower.setText(restoreText);
			// gui.TEXT_HISTORY.tailMap(fromKey)
		} 
	}