From c5c535da285f44ec1faa4c3f9cfdf634a1d17ede Mon Sep 17 00:00:00 2001
From: Volker Ruppert <Volker.Ruppert@t-online.de>
Date: Sun, 3 Nov 2002 08:29:03 +0000
Subject: [PATCH] - updated description of "user_shortcut"

---
 bochs/.bochsrc | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/bochs/.bochsrc b/bochs/.bochsrc
index fa7ba70cc..4ac5b0eec 100644
--- a/bochs/.bochsrc
+++ b/bochs/.bochsrc
@@ -592,8 +592,9 @@ keyboard_mapping: enabled=0, map=
 #=======================================================================
 # USER_SHORTCUT:
 # This defines the keyboard shortcut to be sent when you press the "user"
-# button in the headerbar. These shortcuts are currently recognized:
-# ctrlaltdel, ctrlaltesc, ctrlaltf1, alttab
+# button in the headerbar. The shortcut string can be a combination of
+# these key names: "alt", "ctrl", "del", "esc", "f1", "f4", "tab", "win".
+# Up to 3 keys can be pressed at a time.
 #
 # Example:
 #   user_shortcut: keys=ctrlaltdel