Change so main-pane-width and height can be given as a percentage.

This commit is contained in:
nicm
2020-04-22 06:57:13 +00:00
parent 445dfa8512
commit de5163a634
5 changed files with 66 additions and 36 deletions

View File

@ -647,19 +647,15 @@ const struct options_table_entry options_table[] = {
},
{ .name = "main-pane-height",
.type = OPTIONS_TABLE_NUMBER,
.type = OPTIONS_TABLE_STRING,
.scope = OPTIONS_TABLE_WINDOW,
.minimum = 1,
.maximum = INT_MAX,
.default_num = 24
.default_str = "24"
},
{ .name = "main-pane-width",
.type = OPTIONS_TABLE_NUMBER,
.type = OPTIONS_TABLE_STRING,
.scope = OPTIONS_TABLE_WINDOW,
.minimum = 1,
.maximum = INT_MAX,
.default_num = 80
.default_str = "80"
},
{ .name = "mode-keys",
@ -696,19 +692,15 @@ const struct options_table_entry options_table[] = {
},
{ .name = "other-pane-height",
.type = OPTIONS_TABLE_NUMBER,
.type = OPTIONS_TABLE_STRING,
.scope = OPTIONS_TABLE_WINDOW,
.minimum = 0,
.maximum = INT_MAX,
.default_num = 0
.default_str = "0"
},
{ .name = "other-pane-width",
.type = OPTIONS_TABLE_NUMBER,
.type = OPTIONS_TABLE_STRING,
.scope = OPTIONS_TABLE_WINDOW,
.minimum = 0,
.maximum = INT_MAX,
.default_num = 0
.default_str = "0"
},
{ .name = "pane-active-border-style",