From 95ed7d48c84198da0ec4b1b9b5de9358a47da753 Mon Sep 17 00:00:00 2001
From: nicm <nicm>
Date: Fri, 23 Jun 2017 15:36:52 +0000
Subject: Add user-keys option to allow user-defined keys to be set, from Dan
 Aloni.

---
 options-table.c | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'options-table.c')

diff --git a/options-table.c b/options-table.c
index 6c0abbb5..91075871 100644
--- a/options-table.c
+++ b/options-table.c
@@ -136,6 +136,13 @@ const struct options_table_entry options_table[] = {
 	  .separator = ","
 	},
 
+	{ .name = "user-keys",
+	  .type = OPTIONS_TABLE_ARRAY,
+	  .scope = OPTIONS_TABLE_SERVER,
+	  .default_str = "",
+	  .separator = ","
+	},
+
 	{ .name = "assume-paste-time",
 	  .type = OPTIONS_TABLE_NUMBER,
 	  .scope = OPTIONS_TABLE_SESSION,
-- 
cgit