From fd0b0f9b2bde53bcd54e29e9db03a3e35eceadcb Mon Sep 17 00:00:00 2001
From: mainzelm <mainzelm>
Date: Mon, 19 May 2003 17:06:21 +0000
Subject: [PATCH] Describe user-bindings.

---
 doc/user.html | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/doc/user.html b/doc/user.html
index e7373a7..6ce6baa 100644
--- a/doc/user.html
+++ b/doc/user.html
@@ -114,6 +114,12 @@
 	  <td><code>string</code></td>
 	  <td><code>"Really quit orion?"</code></td>
 	</tr>
+	<tr>
+	  <td><code>user-bindings</code></td>
+	  <td><code>binding-list</code></td>
+	  <td><code>'(("F2" exec "xterm"))</code></td>
+	  <td>List of user-defined key bindings.</td>
+	</tr>
 	<tr>
 	  <td><code>execute</code></td>
 	  <td><code>keys</code></td>