public void undo() {

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

	}