From bc2e4a36df2023a738c433779ba8f1e08b6951fe Mon Sep 17 00:00:00 2001 From: Nicholas Marriott Date: Tue, 15 Jan 2013 22:55:29 +0000 Subject: If timing between keys is less than (by default) 1 millisecond, assume the text is being pasted. assume-paste-time option changes the value (0 disables). Based on a diff from Marcin Kulik. --- 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 d9bbe382..9baf6835 100644 --- a/options-table.c +++ b/options-table.c @@ -91,6 +91,13 @@ const struct options_table_entry server_options_table[] = { /* Session options. */ const struct options_table_entry session_options_table[] = { + { .name = "assume-paste-time", + .type = OPTIONS_TABLE_NUMBER, + .minimum = 0, + .maximum = INT_MAX, + .default_num = 1, + }, + { .name = "base-index", .type = OPTIONS_TABLE_NUMBER, .minimum = 0, -- cgit From e33ba57c13139bc9ae6e92be169de6dc322e38eb Mon Sep 17 00:00:00 2001 From: Nicholas Marriott Date: Thu, 17 Jan 2013 00:11:22 +0000 Subject: Remove the layout undo/redo code which never really worked. --- options-table.c | 7 ------- 1 file changed, 7 deletions(-) (limited to 'options-table.c') diff --git a/options-table.c b/options-table.c index 9baf6835..529b3c26 100644 --- a/options-table.c +++ b/options-table.c @@ -517,13 +517,6 @@ const struct options_table_entry window_options_table[] = { .default_num = 0 }, - { .name = "layout-history-limit", - .type = OPTIONS_TABLE_NUMBER, - .minimum = 1, - .maximum = USHRT_MAX, - .default_num = 20 - }, - { .name = "main-pane-height", .type = OPTIONS_TABLE_NUMBER, .minimum = 1, -- cgit