Annotation of embedaddon/tmux/options-table.c, revision 1.1.1.1

1.1       misho       1: /* $OpenBSD$ */
                      2: 
                      3: /*
                      4:  * Copyright (c) 2011 Nicholas Marriott <nicholas.marriott@gmail.com>
                      5:  *
                      6:  * Permission to use, copy, modify, and distribute this software for any
                      7:  * purpose with or without fee is hereby granted, provided that the above
                      8:  * copyright notice and this permission notice appear in all copies.
                      9:  *
                     10:  * THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
                     11:  * WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
                     12:  * MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
                     13:  * ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
                     14:  * WHATSOEVER RESULTING FROM LOSS OF MIND, USE, DATA OR PROFITS, WHETHER
                     15:  * IN AN ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING
                     16:  * OUT OF OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
                     17:  */
                     18: 
                     19: #include <sys/types.h>
                     20: 
                     21: #include <string.h>
                     22: 
                     23: #include "tmux.h"
                     24: 
                     25: /*
                     26:  * This file has a tables with all the server, session and window
                     27:  * options. These tables are the master copy of the options with their real
                     28:  * (user-visible) types, range limits and default values. At start these are
                     29:  * copied into the runtime global options trees (which only has number and
                     30:  * string types). These tables are then used to look up the real type when the
                     31:  * user sets an option or its value needs to be shown.
                     32:  */
                     33: 
                     34: /* Choice option type lists. */
                     35: static const char *options_table_mode_keys_list[] = {
                     36:        "emacs", "vi", NULL
                     37: };
                     38: static const char *options_table_clock_mode_style_list[] = {
                     39:        "12", "24", NULL
                     40: };
                     41: static const char *options_table_status_keys_list[] = {
                     42:        "emacs", "vi", NULL
                     43: };
                     44: static const char *options_table_status_justify_list[] = {
                     45:        "left", "centre", "right", NULL
                     46: };
                     47: static const char *options_table_status_position_list[] = {
                     48:        "top", "bottom", NULL
                     49: };
                     50: static const char *options_table_bell_action_list[] = {
                     51:        "none", "any", "current", "other", NULL
                     52: };
                     53: static const char *options_table_pane_status_list[] = {
                     54:        "off", "top", "bottom", NULL
                     55: };
                     56: 
                     57: /* Top-level options. */
                     58: const struct options_table_entry options_table[] = {
                     59:        { .name = "buffer-limit",
                     60:          .type = OPTIONS_TABLE_NUMBER,
                     61:          .scope = OPTIONS_TABLE_SERVER,
                     62:          .minimum = 1,
                     63:          .maximum = INT_MAX,
                     64:          .default_num = 20
                     65:        },
                     66: 
                     67:        { .name = "command-alias",
                     68:          .type = OPTIONS_TABLE_ARRAY,
                     69:          .scope = OPTIONS_TABLE_SERVER,
                     70:          .default_str = "split-pane=split-window,"
                     71:                         "splitp=split-window,"
                     72:                         "server-info=show-messages -JT,"
                     73:                         "info=show-messages -JT",
                     74:          .separator = ","
                     75:        },
                     76: 
                     77:        { .name = "default-terminal",
                     78:          .type = OPTIONS_TABLE_STRING,
                     79:          .scope = OPTIONS_TABLE_SERVER,
                     80:          .default_str = "screen"
                     81:        },
                     82: 
                     83:        { .name = "escape-time",
                     84:          .type = OPTIONS_TABLE_NUMBER,
                     85:          .scope = OPTIONS_TABLE_SERVER,
                     86:          .minimum = 0,
                     87:          .maximum = INT_MAX,
                     88:          .default_num = 500
                     89:        },
                     90: 
                     91:        { .name = "exit-unattached",
                     92:          .type = OPTIONS_TABLE_FLAG,
                     93:          .scope = OPTIONS_TABLE_SERVER,
                     94:          .default_num = 0
                     95:        },
                     96: 
                     97:        { .name = "focus-events",
                     98:          .type = OPTIONS_TABLE_FLAG,
                     99:          .scope = OPTIONS_TABLE_SERVER,
                    100:          .default_num = 0
                    101:        },
                    102: 
                    103:        { .name = "history-file",
                    104:          .type = OPTIONS_TABLE_STRING,
                    105:          .scope = OPTIONS_TABLE_SERVER,
                    106:          .default_str = ""
                    107:        },
                    108: 
                    109:        { .name = "message-limit",
                    110:          .type = OPTIONS_TABLE_NUMBER,
                    111:          .scope = OPTIONS_TABLE_SERVER,
                    112:          .minimum = 0,
                    113:          .maximum = INT_MAX,
                    114:          .default_num = 100
                    115:        },
                    116: 
                    117:        { .name = "set-clipboard",
                    118:          .type = OPTIONS_TABLE_FLAG,
                    119:          .scope = OPTIONS_TABLE_SERVER,
                    120:          .default_num = 1
                    121:        },
                    122: 
                    123:        { .name = "terminal-overrides",
                    124:          .type = OPTIONS_TABLE_ARRAY,
                    125:          .scope = OPTIONS_TABLE_SERVER,
                    126:          .default_str = "xterm*:XT:Ms=\\E]52;%p1%s;%p2%s\\007"
                    127:                         ":Cs=\\E]12;%p1%s\\007:Cr=\\E]112\\007"
                    128:                         ":Ss=\\E[%p1%d q:Se=\\E[2 q,screen*:XT",
                    129:          .separator = ","
                    130:        },
                    131: 
                    132:        { .name = "assume-paste-time",
                    133:          .type = OPTIONS_TABLE_NUMBER,
                    134:          .scope = OPTIONS_TABLE_SESSION,
                    135:          .minimum = 0,
                    136:          .maximum = INT_MAX,
                    137:          .default_num = 1,
                    138:        },
                    139: 
                    140:        { .name = "base-index",
                    141:          .type = OPTIONS_TABLE_NUMBER,
                    142:          .scope = OPTIONS_TABLE_SESSION,
                    143:          .minimum = 0,
                    144:          .maximum = INT_MAX,
                    145:          .default_num = 0
                    146:        },
                    147: 
                    148:        { .name = "bell-action",
                    149:          .type = OPTIONS_TABLE_CHOICE,
                    150:          .scope = OPTIONS_TABLE_SESSION,
                    151:          .choices = options_table_bell_action_list,
                    152:          .default_num = BELL_ANY
                    153:        },
                    154: 
                    155:        { .name = "bell-on-alert",
                    156:          .type = OPTIONS_TABLE_FLAG,
                    157:          .scope = OPTIONS_TABLE_SESSION,
                    158:          .default_num = 0
                    159:        },
                    160: 
                    161:        { .name = "default-command",
                    162:          .type = OPTIONS_TABLE_STRING,
                    163:          .scope = OPTIONS_TABLE_SESSION,
                    164:          .default_str = ""
                    165:        },
                    166: 
                    167:        { .name = "default-shell",
                    168:          .type = OPTIONS_TABLE_STRING,
                    169:          .scope = OPTIONS_TABLE_SESSION,
                    170:          .default_str = _PATH_BSHELL
                    171:        },
                    172: 
                    173:        { .name = "destroy-unattached",
                    174:          .type = OPTIONS_TABLE_FLAG,
                    175:          .scope = OPTIONS_TABLE_SESSION,
                    176:          .default_num = 0
                    177:        },
                    178: 
                    179:        { .name = "detach-on-destroy",
                    180:          .type = OPTIONS_TABLE_FLAG,
                    181:          .scope = OPTIONS_TABLE_SESSION,
                    182:          .default_num = 1
                    183:        },
                    184: 
                    185:        { .name = "display-panes-active-colour",
                    186:          .type = OPTIONS_TABLE_COLOUR,
                    187:          .scope = OPTIONS_TABLE_SESSION,
                    188:          .default_num = 1
                    189:        },
                    190: 
                    191:        { .name = "display-panes-colour",
                    192:          .type = OPTIONS_TABLE_COLOUR,
                    193:          .scope = OPTIONS_TABLE_SESSION,
                    194:          .default_num = 4
                    195:        },
                    196: 
                    197:        { .name = "display-panes-time",
                    198:          .type = OPTIONS_TABLE_NUMBER,
                    199:          .scope = OPTIONS_TABLE_SESSION,
                    200:          .minimum = 1,
                    201:          .maximum = INT_MAX,
                    202:          .default_num = 1000
                    203:        },
                    204: 
                    205:        { .name = "display-time",
                    206:          .type = OPTIONS_TABLE_NUMBER,
                    207:          .scope = OPTIONS_TABLE_SESSION,
                    208:          .minimum = 0,
                    209:          .maximum = INT_MAX,
                    210:          .default_num = 750
                    211:        },
                    212: 
                    213:        { .name = "history-limit",
                    214:          .type = OPTIONS_TABLE_NUMBER,
                    215:          .scope = OPTIONS_TABLE_SESSION,
                    216:          .minimum = 0,
                    217:          .maximum = INT_MAX,
                    218:          .default_num = 2000
                    219:        },
                    220: 
                    221:        { .name = "key-table",
                    222:          .type = OPTIONS_TABLE_STRING,
                    223:          .scope = OPTIONS_TABLE_SESSION,
                    224:          .default_str = "root"
                    225:        },
                    226: 
                    227:        { .name = "lock-after-time",
                    228:          .type = OPTIONS_TABLE_NUMBER,
                    229:          .scope = OPTIONS_TABLE_SESSION,
                    230:          .minimum = 0,
                    231:          .maximum = INT_MAX,
                    232:          .default_num = 0
                    233:        },
                    234: 
                    235:        { .name = "lock-command",
                    236:          .type = OPTIONS_TABLE_STRING,
                    237:          .scope = OPTIONS_TABLE_SESSION,
                    238:          .default_str = "lock -np"
                    239:        },
                    240: 
                    241:        { .name = "message-attr",
                    242:          .type = OPTIONS_TABLE_ATTRIBUTES,
                    243:          .scope = OPTIONS_TABLE_SESSION,
                    244:          .default_num = 0,
                    245:          .style = "message-style"
                    246:        },
                    247: 
                    248:        { .name = "message-bg",
                    249:          .type = OPTIONS_TABLE_COLOUR,
                    250:          .scope = OPTIONS_TABLE_SESSION,
                    251:          .default_num = 3,
                    252:          .style = "message-style"
                    253:        },
                    254: 
                    255:        { .name = "message-command-attr",
                    256:          .type = OPTIONS_TABLE_ATTRIBUTES,
                    257:          .scope = OPTIONS_TABLE_SESSION,
                    258:          .default_num = 0,
                    259:          .style = "message-command-style"
                    260:        },
                    261: 
                    262:        { .name = "message-command-bg",
                    263:          .type = OPTIONS_TABLE_COLOUR,
                    264:          .scope = OPTIONS_TABLE_SESSION,
                    265:          .default_num = 0,
                    266:          .style = "message-command-style"
                    267:        },
                    268: 
                    269:        { .name = "message-command-fg",
                    270:          .type = OPTIONS_TABLE_COLOUR,
                    271:          .scope = OPTIONS_TABLE_SESSION,
                    272:          .default_num = 3,
                    273:          .style = "message-command-style"
                    274:        },
                    275: 
                    276:        { .name = "message-command-style",
                    277:          .type = OPTIONS_TABLE_STYLE,
                    278:          .scope = OPTIONS_TABLE_SESSION,
                    279:          .default_str = "bg=black,fg=yellow"
                    280:        },
                    281: 
                    282:        { .name = "message-fg",
                    283:          .type = OPTIONS_TABLE_COLOUR,
                    284:          .scope = OPTIONS_TABLE_SESSION,
                    285:          .default_num = 0,
                    286:          .style = "message-style"
                    287:        },
                    288: 
                    289:        { .name = "message-style",
                    290:          .type = OPTIONS_TABLE_STYLE,
                    291:          .scope = OPTIONS_TABLE_SESSION,
                    292:          .default_str = "bg=yellow,fg=black"
                    293:        },
                    294: 
                    295:        { .name = "mouse",
                    296:          .type = OPTIONS_TABLE_FLAG,
                    297:          .scope = OPTIONS_TABLE_SESSION,
                    298:          .default_num = 0
                    299:        },
                    300: 
                    301:        { .name = "prefix",
                    302:          .type = OPTIONS_TABLE_KEY,
                    303:          .scope = OPTIONS_TABLE_SESSION,
                    304:          .default_num = '\002',
                    305:        },
                    306: 
                    307:        { .name = "prefix2",
                    308:          .type = OPTIONS_TABLE_KEY,
                    309:          .scope = OPTIONS_TABLE_SESSION,
                    310:          .default_num = KEYC_NONE,
                    311:        },
                    312: 
                    313:        { .name = "renumber-windows",
                    314:          .type = OPTIONS_TABLE_FLAG,
                    315:          .scope = OPTIONS_TABLE_SESSION,
                    316:          .default_num = 0
                    317:        },
                    318: 
                    319:        { .name = "repeat-time",
                    320:          .type = OPTIONS_TABLE_NUMBER,
                    321:          .scope = OPTIONS_TABLE_SESSION,
                    322:          .minimum = 0,
                    323:          .maximum = SHRT_MAX,
                    324:          .default_num = 500
                    325:        },
                    326: 
                    327:        { .name = "set-titles",
                    328:          .type = OPTIONS_TABLE_FLAG,
                    329:          .scope = OPTIONS_TABLE_SESSION,
                    330:          .default_num = 0
                    331:        },
                    332: 
                    333:        { .name = "set-titles-string",
                    334:          .type = OPTIONS_TABLE_STRING,
                    335:          .scope = OPTIONS_TABLE_SESSION,
                    336:          .default_str = "#S:#I:#W - \"#T\" #{session_alerts}"
                    337:        },
                    338: 
                    339:        { .name = "status",
                    340:          .type = OPTIONS_TABLE_FLAG,
                    341:          .scope = OPTIONS_TABLE_SESSION,
                    342:          .default_num = 1
                    343:        },
                    344: 
                    345:        { .name = "status-attr",
                    346:          .type = OPTIONS_TABLE_ATTRIBUTES,
                    347:          .scope = OPTIONS_TABLE_SESSION,
                    348:          .default_num = 0,
                    349:          .style = "status-style"
                    350:        },
                    351: 
                    352:        { .name = "status-bg",
                    353:          .type = OPTIONS_TABLE_COLOUR,
                    354:          .scope = OPTIONS_TABLE_SESSION,
                    355:          .default_num = 2,
                    356:          .style = "status-style"
                    357:        },
                    358: 
                    359:        { .name = "status-fg",
                    360:          .type = OPTIONS_TABLE_COLOUR,
                    361:          .scope = OPTIONS_TABLE_SESSION,
                    362:          .default_num = 0,
                    363:          .style = "status-style"
                    364:        },
                    365: 
                    366:        { .name = "status-interval",
                    367:          .type = OPTIONS_TABLE_NUMBER,
                    368:          .scope = OPTIONS_TABLE_SESSION,
                    369:          .minimum = 0,
                    370:          .maximum = INT_MAX,
                    371:          .default_num = 15
                    372:        },
                    373: 
                    374:        { .name = "status-justify",
                    375:          .type = OPTIONS_TABLE_CHOICE,
                    376:          .scope = OPTIONS_TABLE_SESSION,
                    377:          .choices = options_table_status_justify_list,
                    378:          .default_num = 0
                    379:        },
                    380: 
                    381:        { .name = "status-keys",
                    382:          .type = OPTIONS_TABLE_CHOICE,
                    383:          .scope = OPTIONS_TABLE_SESSION,
                    384:          .choices = options_table_status_keys_list,
                    385:          .default_num = MODEKEY_EMACS
                    386:        },
                    387: 
                    388:        { .name = "status-left",
                    389:          .type = OPTIONS_TABLE_STRING,
                    390:          .scope = OPTIONS_TABLE_SESSION,
                    391:          .default_str = "[#S] "
                    392:        },
                    393: 
                    394:        { .name = "status-left-attr",
                    395:          .type = OPTIONS_TABLE_ATTRIBUTES,
                    396:          .scope = OPTIONS_TABLE_SESSION,
                    397:          .default_num = 0,
                    398:          .style = "status-left-style"
                    399:        },
                    400: 
                    401:        { .name = "status-left-bg",
                    402:          .type = OPTIONS_TABLE_COLOUR,
                    403:          .scope = OPTIONS_TABLE_SESSION,
                    404:          .default_num = 8,
                    405:          .style = "status-left-style"
                    406:        },
                    407: 
                    408:        { .name = "status-left-fg",
                    409:          .type = OPTIONS_TABLE_COLOUR,
                    410:          .scope = OPTIONS_TABLE_SESSION,
                    411:          .default_num = 8,
                    412:          .style = "status-left-style"
                    413:        },
                    414: 
                    415:        { .name = "status-left-length",
                    416:          .type = OPTIONS_TABLE_NUMBER,
                    417:          .scope = OPTIONS_TABLE_SESSION,
                    418:          .minimum = 0,
                    419:          .maximum = SHRT_MAX,
                    420:          .default_num = 10
                    421:        },
                    422: 
                    423:        { .name = "status-left-style",
                    424:          .type = OPTIONS_TABLE_STYLE,
                    425:          .scope = OPTIONS_TABLE_SESSION,
                    426:          .default_str = "default"
                    427:        },
                    428: 
                    429:        { .name = "status-position",
                    430:          .type = OPTIONS_TABLE_CHOICE,
                    431:          .scope = OPTIONS_TABLE_SESSION,
                    432:          .choices = options_table_status_position_list,
                    433:          .default_num = 1
                    434:        },
                    435: 
                    436:        { .name = "status-right",
                    437:          .type = OPTIONS_TABLE_STRING,
                    438:          .scope = OPTIONS_TABLE_SESSION,
                    439:          .default_str = " \"#{=21:pane_title}\" %H:%M %d-%b-%y"
                    440:        },
                    441: 
                    442:        { .name = "status-right-attr",
                    443:          .type = OPTIONS_TABLE_ATTRIBUTES,
                    444:          .scope = OPTIONS_TABLE_SESSION,
                    445:          .default_num = 0,
                    446:          .style = "status-right-style"
                    447:        },
                    448: 
                    449:        { .name = "status-right-bg",
                    450:          .type = OPTIONS_TABLE_COLOUR,
                    451:          .scope = OPTIONS_TABLE_SESSION,
                    452:          .default_num = 8,
                    453:          .style = "status-right-style"
                    454:        },
                    455: 
                    456:        { .name = "status-right-fg",
                    457:          .type = OPTIONS_TABLE_COLOUR,
                    458:          .scope = OPTIONS_TABLE_SESSION,
                    459:          .default_num = 8,
                    460:          .style = "status-right-style"
                    461:        },
                    462: 
                    463:        { .name = "status-right-length",
                    464:          .type = OPTIONS_TABLE_NUMBER,
                    465:          .scope = OPTIONS_TABLE_SESSION,
                    466:          .minimum = 0,
                    467:          .maximum = SHRT_MAX,
                    468:          .default_num = 40
                    469:        },
                    470: 
                    471:        { .name = "status-right-style",
                    472:          .type = OPTIONS_TABLE_STYLE,
                    473:          .scope = OPTIONS_TABLE_SESSION,
                    474:          .default_str = "default"
                    475:        },
                    476: 
                    477:        { .name = "status-style",
                    478:          .type = OPTIONS_TABLE_STYLE,
                    479:          .scope = OPTIONS_TABLE_SESSION,
                    480:          .default_str = "bg=green,fg=black"
                    481:        },
                    482: 
                    483:        { .name = "update-environment",
                    484:          .type = OPTIONS_TABLE_ARRAY,
                    485:          .scope = OPTIONS_TABLE_SESSION,
                    486:          .default_str = "DISPLAY SSH_ASKPASS SSH_AUTH_SOCK SSH_AGENT_PID "
                    487:                         "SSH_CONNECTION WINDOWID XAUTHORITY"
                    488:        },
                    489: 
                    490:        { .name = "visual-activity",
                    491:          .type = OPTIONS_TABLE_FLAG,
                    492:          .scope = OPTIONS_TABLE_SESSION,
                    493:          .default_num = 0
                    494:        },
                    495: 
                    496:        { .name = "visual-bell",
                    497:          .type = OPTIONS_TABLE_FLAG,
                    498:          .scope = OPTIONS_TABLE_SESSION,
                    499:          .default_num = 0
                    500:        },
                    501: 
                    502:        { .name = "visual-silence",
                    503:          .type = OPTIONS_TABLE_FLAG,
                    504:          .scope = OPTIONS_TABLE_SESSION,
                    505:          .default_num = 0
                    506:        },
                    507: 
                    508:        { .name = "word-separators",
                    509:          .type = OPTIONS_TABLE_STRING,
                    510:          .scope = OPTIONS_TABLE_SESSION,
                    511:          .default_str = " -_@"
                    512:        },
                    513: 
                    514:        { .name = "aggressive-resize",
                    515:          .type = OPTIONS_TABLE_FLAG,
                    516:          .scope = OPTIONS_TABLE_WINDOW,
                    517:          .default_num = 0
                    518:        },
                    519: 
                    520:        { .name = "allow-rename",
                    521:          .type = OPTIONS_TABLE_FLAG,
                    522:          .scope = OPTIONS_TABLE_WINDOW,
                    523:          .default_num = 1
                    524:        },
                    525: 
                    526:        { .name = "alternate-screen",
                    527:          .type = OPTIONS_TABLE_FLAG,
                    528:          .scope = OPTIONS_TABLE_WINDOW,
                    529:          .default_num = 1
                    530:        },
                    531: 
                    532:        { .name = "automatic-rename",
                    533:          .type = OPTIONS_TABLE_FLAG,
                    534:          .scope = OPTIONS_TABLE_WINDOW,
                    535:          .default_num = 1
                    536:        },
                    537: 
                    538:        { .name = "automatic-rename-format",
                    539:          .type = OPTIONS_TABLE_STRING,
                    540:          .scope = OPTIONS_TABLE_WINDOW,
                    541:          .default_str = "#{?pane_in_mode,[tmux],#{pane_current_command}}"
                    542:                         "#{?pane_dead,[dead],}"
                    543:        },
                    544: 
                    545:        { .name = "clock-mode-colour",
                    546:          .type = OPTIONS_TABLE_COLOUR,
                    547:          .scope = OPTIONS_TABLE_WINDOW,
                    548:          .default_num = 4
                    549:        },
                    550: 
                    551:        { .name = "clock-mode-style",
                    552:          .type = OPTIONS_TABLE_CHOICE,
                    553:          .scope = OPTIONS_TABLE_WINDOW,
                    554:          .choices = options_table_clock_mode_style_list,
                    555:          .default_num = 1
                    556:        },
                    557: 
                    558:        { .name = "force-height",
                    559:          .type = OPTIONS_TABLE_NUMBER,
                    560:          .scope = OPTIONS_TABLE_WINDOW,
                    561:          .minimum = 0,
                    562:          .maximum = INT_MAX,
                    563:          .default_num = 0
                    564:        },
                    565: 
                    566:        { .name = "force-width",
                    567:          .type = OPTIONS_TABLE_NUMBER,
                    568:          .scope = OPTIONS_TABLE_WINDOW,
                    569:          .minimum = 0,
                    570:          .maximum = INT_MAX,
                    571:          .default_num = 0
                    572:        },
                    573: 
                    574:        { .name = "main-pane-height",
                    575:          .type = OPTIONS_TABLE_NUMBER,
                    576:          .scope = OPTIONS_TABLE_WINDOW,
                    577:          .minimum = 1,
                    578:          .maximum = INT_MAX,
                    579:          .default_num = 24
                    580:        },
                    581: 
                    582:        { .name = "main-pane-width",
                    583:          .type = OPTIONS_TABLE_NUMBER,
                    584:          .scope = OPTIONS_TABLE_WINDOW,
                    585:          .minimum = 1,
                    586:          .maximum = INT_MAX,
                    587:          .default_num = 80
                    588:        },
                    589: 
                    590:        { .name = "mode-attr",
                    591:          .type = OPTIONS_TABLE_ATTRIBUTES,
                    592:          .scope = OPTIONS_TABLE_WINDOW,
                    593:          .default_num = 0,
                    594:          .style = "mode-style"
                    595:        },
                    596: 
                    597:        { .name = "mode-bg",
                    598:          .type = OPTIONS_TABLE_COLOUR,
                    599:          .scope = OPTIONS_TABLE_WINDOW,
                    600:          .default_num = 3,
                    601:          .style = "mode-style"
                    602:        },
                    603: 
                    604:        { .name = "mode-fg",
                    605:          .type = OPTIONS_TABLE_COLOUR,
                    606:          .scope = OPTIONS_TABLE_WINDOW,
                    607:          .default_num = 0,
                    608:          .style = "mode-style"
                    609:        },
                    610: 
                    611:        { .name = "mode-keys",
                    612:          .type = OPTIONS_TABLE_CHOICE,
                    613:          .scope = OPTIONS_TABLE_WINDOW,
                    614:          .choices = options_table_mode_keys_list,
                    615:          .default_num = MODEKEY_EMACS
                    616:        },
                    617: 
                    618:        { .name = "mode-style",
                    619:          .type = OPTIONS_TABLE_STYLE,
                    620:          .scope = OPTIONS_TABLE_WINDOW,
                    621:          .default_str = "bg=yellow,fg=black"
                    622:        },
                    623: 
                    624:        { .name = "monitor-activity",
                    625:          .type = OPTIONS_TABLE_FLAG,
                    626:          .scope = OPTIONS_TABLE_WINDOW,
                    627:          .default_num = 0
                    628:        },
                    629: 
                    630:        { .name = "monitor-silence",
                    631:          .type = OPTIONS_TABLE_NUMBER,
                    632:          .scope = OPTIONS_TABLE_WINDOW,
                    633:          .minimum = 0,
                    634:          .maximum = INT_MAX,
                    635:          .default_num = 0
                    636:        },
                    637: 
                    638:        { .name = "other-pane-height",
                    639:          .type = OPTIONS_TABLE_NUMBER,
                    640:          .scope = OPTIONS_TABLE_WINDOW,
                    641:          .minimum = 0,
                    642:          .maximum = INT_MAX,
                    643:          .default_num = 0
                    644:        },
                    645: 
                    646:        { .name = "other-pane-width",
                    647:          .type = OPTIONS_TABLE_NUMBER,
                    648:          .scope = OPTIONS_TABLE_WINDOW,
                    649:          .minimum = 0,
                    650:          .maximum = INT_MAX,
                    651:          .default_num = 0
                    652:        },
                    653: 
                    654:        { .name = "pane-active-border-bg",
                    655:          .type = OPTIONS_TABLE_COLOUR,
                    656:          .scope = OPTIONS_TABLE_WINDOW,
                    657:          .default_num = 8,
                    658:          .style = "pane-active-border-style"
                    659:        },
                    660: 
                    661:        { .name = "pane-active-border-fg",
                    662:          .type = OPTIONS_TABLE_COLOUR,
                    663:          .scope = OPTIONS_TABLE_WINDOW,
                    664:          .default_num = 2,
                    665:          .style = "pane-active-border-style"
                    666:        },
                    667: 
                    668:        { .name = "pane-active-border-style",
                    669:          .type = OPTIONS_TABLE_STYLE,
                    670:          .scope = OPTIONS_TABLE_WINDOW,
                    671:          .default_str = "fg=green"
                    672:        },
                    673: 
                    674:        { .name = "pane-base-index",
                    675:          .type = OPTIONS_TABLE_NUMBER,
                    676:          .scope = OPTIONS_TABLE_WINDOW,
                    677:          .minimum = 0,
                    678:          .maximum = USHRT_MAX,
                    679:          .default_num = 0
                    680:        },
                    681: 
                    682:        { .name = "pane-border-bg",
                    683:          .type = OPTIONS_TABLE_COLOUR,
                    684:          .scope = OPTIONS_TABLE_WINDOW,
                    685:          .default_num = 8,
                    686:          .style = "pane-border-style"
                    687:        },
                    688: 
                    689:        { .name = "pane-border-fg",
                    690:          .type = OPTIONS_TABLE_COLOUR,
                    691:          .scope = OPTIONS_TABLE_WINDOW,
                    692:          .default_num = 8,
                    693:          .style = "pane-border-style"
                    694:        },
                    695: 
                    696:        { .name = "pane-border-format",
                    697:          .type = OPTIONS_TABLE_STRING,
                    698:          .scope = OPTIONS_TABLE_WINDOW,
                    699:          .default_str = "#{?pane_active,#[reverse],}#{pane_index}#[default] "
                    700:                         "\"#{pane_title}\""
                    701:        },
                    702: 
                    703:        { .name = "pane-border-status",
                    704:          .type = OPTIONS_TABLE_CHOICE,
                    705:          .scope = OPTIONS_TABLE_WINDOW,
                    706:          .choices = options_table_pane_status_list,
                    707:          .default_num = 0
                    708:        },
                    709: 
                    710:        { .name = "pane-border-style",
                    711:          .type = OPTIONS_TABLE_STYLE,
                    712:          .scope = OPTIONS_TABLE_WINDOW,
                    713:          .default_str = "default"
                    714:        },
                    715: 
                    716:        { .name = "remain-on-exit",
                    717:          .type = OPTIONS_TABLE_FLAG,
                    718:          .scope = OPTIONS_TABLE_WINDOW,
                    719:          .default_num = 0
                    720:        },
                    721: 
                    722:        { .name = "synchronize-panes",
                    723:          .type = OPTIONS_TABLE_FLAG,
                    724:          .scope = OPTIONS_TABLE_WINDOW,
                    725:          .default_num = 0
                    726:        },
                    727: 
                    728:        { .name = "window-active-style",
                    729:          .type = OPTIONS_TABLE_STYLE,
                    730:          .scope = OPTIONS_TABLE_WINDOW,
                    731:          .default_str = "default"
                    732:        },
                    733: 
                    734:        { .name = "window-style",
                    735:          .type = OPTIONS_TABLE_STYLE,
                    736:          .scope = OPTIONS_TABLE_WINDOW,
                    737:          .default_str = "default"
                    738:        },
                    739: 
                    740:        { .name = "window-status-activity-attr",
                    741:          .type = OPTIONS_TABLE_ATTRIBUTES,
                    742:          .scope = OPTIONS_TABLE_WINDOW,
                    743:          .default_num = GRID_ATTR_REVERSE,
                    744:          .style = "window-status-activity-style"
                    745:        },
                    746: 
                    747:        { .name = "window-status-activity-bg",
                    748:          .type = OPTIONS_TABLE_COLOUR,
                    749:          .scope = OPTIONS_TABLE_WINDOW,
                    750:          .default_num = 8,
                    751:          .style = "window-status-activity-style"
                    752:        },
                    753: 
                    754:        { .name = "window-status-activity-fg",
                    755:          .type = OPTIONS_TABLE_COLOUR,
                    756:          .scope = OPTIONS_TABLE_WINDOW,
                    757:          .default_num = 8,
                    758:          .style = "window-status-activity-style"
                    759:        },
                    760: 
                    761:        { .name = "window-status-activity-style",
                    762:          .type = OPTIONS_TABLE_STYLE,
                    763:          .scope = OPTIONS_TABLE_WINDOW,
                    764:          .default_str = "reverse"
                    765:        },
                    766: 
                    767:        { .name = "window-status-attr",
                    768:          .type = OPTIONS_TABLE_ATTRIBUTES,
                    769:          .scope = OPTIONS_TABLE_WINDOW,
                    770:          .default_num = 0,
                    771:          .style = "window-status-style"
                    772:        },
                    773: 
                    774:        { .name = "window-status-bell-attr",
                    775:          .type = OPTIONS_TABLE_ATTRIBUTES,
                    776:          .scope = OPTIONS_TABLE_WINDOW,
                    777:          .default_num = GRID_ATTR_REVERSE,
                    778:          .style = "window-status-bell-style"
                    779:        },
                    780: 
                    781:        { .name = "window-status-bell-bg",
                    782:          .type = OPTIONS_TABLE_COLOUR,
                    783:          .scope = OPTIONS_TABLE_WINDOW,
                    784:          .default_num = 8,
                    785:          .style = "window-status-bell-style"
                    786:        },
                    787: 
                    788:        { .name = "window-status-bell-fg",
                    789:          .type = OPTIONS_TABLE_COLOUR,
                    790:          .scope = OPTIONS_TABLE_WINDOW,
                    791:          .default_num = 8,
                    792:          .style = "window-status-bell-style"
                    793:        },
                    794: 
                    795:        { .name = "window-status-bell-style",
                    796:          .type = OPTIONS_TABLE_STYLE,
                    797:          .scope = OPTIONS_TABLE_WINDOW,
                    798:          .default_str = "reverse"
                    799:        },
                    800: 
                    801:        { .name = "window-status-bg",
                    802:          .type = OPTIONS_TABLE_COLOUR,
                    803:          .scope = OPTIONS_TABLE_WINDOW,
                    804:          .default_num = 8,
                    805:          .style = "window-status-style"
                    806:        },
                    807: 
                    808:        { .name = "window-status-current-attr",
                    809:          .type = OPTIONS_TABLE_ATTRIBUTES,
                    810:          .scope = OPTIONS_TABLE_WINDOW,
                    811:          .default_num = 0,
                    812:          .style = "window-status-current-style"
                    813:        },
                    814: 
                    815:        { .name = "window-status-current-bg",
                    816:          .type = OPTIONS_TABLE_COLOUR,
                    817:          .scope = OPTIONS_TABLE_WINDOW,
                    818:          .default_num = 8,
                    819:          .style = "window-status-current-style"
                    820:        },
                    821: 
                    822:        { .name = "window-status-current-fg",
                    823:          .type = OPTIONS_TABLE_COLOUR,
                    824:          .scope = OPTIONS_TABLE_WINDOW,
                    825:          .default_num = 8,
                    826:          .style = "window-status-current-style"
                    827:        },
                    828: 
                    829:        { .name = "window-status-current-format",
                    830:          .type = OPTIONS_TABLE_STRING,
                    831:          .scope = OPTIONS_TABLE_WINDOW,
                    832:          .default_str = "#I:#W#{?window_flags,#{window_flags}, }"
                    833:        },
                    834: 
                    835:        { .name = "window-status-current-style",
                    836:          .type = OPTIONS_TABLE_STYLE,
                    837:          .scope = OPTIONS_TABLE_WINDOW,
                    838:          .default_str = "default"
                    839:        },
                    840: 
                    841:        { .name = "window-status-fg",
                    842:          .type = OPTIONS_TABLE_COLOUR,
                    843:          .scope = OPTIONS_TABLE_WINDOW,
                    844:          .default_num = 8,
                    845:          .style = "window-status-style"
                    846:        },
                    847: 
                    848:        { .name = "window-status-format",
                    849:          .type = OPTIONS_TABLE_STRING,
                    850:          .scope = OPTIONS_TABLE_WINDOW,
                    851:          .default_str = "#I:#W#{?window_flags,#{window_flags}, }"
                    852:        },
                    853: 
                    854:        { .name = "window-status-last-attr",
                    855:          .type = OPTIONS_TABLE_ATTRIBUTES,
                    856:          .scope = OPTIONS_TABLE_WINDOW,
                    857:          .default_num = 0,
                    858:          .style = "window-status-last-style"
                    859:        },
                    860: 
                    861:        { .name = "window-status-last-bg",
                    862:          .type = OPTIONS_TABLE_COLOUR,
                    863:          .scope = OPTIONS_TABLE_WINDOW,
                    864:          .default_num = 8,
                    865:          .style = "window-status-last-style"
                    866:        },
                    867: 
                    868:        { .name = "window-status-last-fg",
                    869:          .type = OPTIONS_TABLE_COLOUR,
                    870:          .scope = OPTIONS_TABLE_WINDOW,
                    871:          .default_num = 8,
                    872:          .style = "window-status-last-style"
                    873:        },
                    874: 
                    875:        { .name = "window-status-last-style",
                    876:          .type = OPTIONS_TABLE_STYLE,
                    877:          .scope = OPTIONS_TABLE_WINDOW,
                    878:          .default_str = "default"
                    879:        },
                    880: 
                    881:        { .name = "window-status-separator",
                    882:          .type = OPTIONS_TABLE_STRING,
                    883:          .scope = OPTIONS_TABLE_WINDOW,
                    884:          .default_str = " "
                    885:        },
                    886: 
                    887:        { .name = "window-status-style",
                    888:          .type = OPTIONS_TABLE_STYLE,
                    889:          .scope = OPTIONS_TABLE_WINDOW,
                    890:          .default_str = "default"
                    891:        },
                    892: 
                    893:        { .name = "wrap-search",
                    894:          .type = OPTIONS_TABLE_FLAG,
                    895:          .scope = OPTIONS_TABLE_WINDOW,
                    896:          .default_num = 1
                    897:        },
                    898: 
                    899:        { .name = "xterm-keys",
                    900:          .type = OPTIONS_TABLE_FLAG,
                    901:          .scope = OPTIONS_TABLE_WINDOW,
                    902:          .default_num = 1
                    903:        },
                    904: 
                    905:        { .name = NULL }
                    906: };

FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>