Annotation of embedaddon/tmux/options-table.c, revision 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>