From dcfac1032d4462e09e05842ce6f430e15ac47fda Mon Sep 17 00:00:00 2001 From: Joe R Date: Thu, 24 Oct 2024 23:47:17 -0400 Subject: [PATCH] Document "Use Mouse for Undo/Redo" feature --- html-src/howtoplay.html | 2 ++ 1 file changed, 2 insertions(+) diff --git a/html-src/howtoplay.html b/html-src/howtoplay.html index 82e5428b..419f243b 100644 --- a/html-src/howtoplay.html +++ b/html-src/howtoplay.html @@ -6,12 +6,14 @@ Left mouse button:

Right mouse button (or double-click the left button):

Middle mouse button (or Ctrl-click the right button):