added doing 'redo' by pressing 'undo' button with Ctrl or Shift key
[rocksndiamonds.git] / src / editor.c
index 490be2699d6b2374aa3e6d64b898d728d94b9cf2..5a3d5cfa7f6a451ae55b54c8f5c5d0420284fae4 100644 (file)
@@ -12442,6 +12442,9 @@ static void HandleControlButtons(struct GadgetInfo *gi)
       break;
 
     case GADGET_ID_UNDO:
+      if (button == 1 && GetKeyModState() & (KMOD_Shift|KMOD_Control))
+       button = 3;
+
       if (button == 1 && undo_buffer_steps == 0)
       {
        Request("Undo buffer empty!", REQ_CONFIRM);