keyboard shortcuts for undo/redo, cf #135 and #171

jonorthwash · Nov 5, 2017 · fcd0e47 · fcd0e47
1 parent 2878882
commit fcd0e47
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/standalone/lib/gui.js b/standalone/lib/gui.js
@@ -880,6 +880,12 @@ $(document).ready(function(){
 			prevSenSent();
 			map = [];
 			map["Shift"] = true; // leave Shift so that another event can be fired
+		}else if(map["Control"] && map["z"]) {
+			undoManager.undo();
+			updateUI();
+		}else if(map["Control"] && map["y"] || map["Control"] && map["Shift"] && map["Z"]) {
+			undoManager.redo();
+			updateUI();
 		}
 		//return false;  // only needed if want to override all the shortcuts
 	}