From f85e17532829ad64e53e89cb2bb1e822f04555c3 Mon Sep 17 00:00:00 2001 From: tomcw Date: Fri, 17 Sep 2021 21:16:24 +0100 Subject: [PATCH] Debugger help: document how to allow CTRL+SHIFT+0 to work (to set bookmark-0) --- help/Troubleshooting.html | 11 +++++++++++ help/dbg-bookmarks.html | 2 +- help/img/Change Key Sequence.png | Bin 0 -> 10860 bytes 3 files changed, 12 insertions(+), 1 deletion(-) create mode 100644 help/img/Change Key Sequence.png diff --git a/help/Troubleshooting.html b/help/Troubleshooting.html index d034e00d..19087cbc 100644 --- a/help/Troubleshooting.html +++ b/help/Troubleshooting.html @@ -68,5 +68,16 @@
  • Windows 10 (1909) requires: 1181 x 818
  • + + Can't set bookmark 0 in the debugger / CTRL+SHIFT+0 not working: + Configuration settings + diff --git a/help/dbg-bookmarks.html b/help/dbg-bookmarks.html index 6ddd81e5..31208b42 100644 --- a/help/dbg-bookmarks.html +++ b/help/dbg-bookmarks.html @@ -17,7 +17,7 @@