ARGS_TERM_OPTIONS  191 src/args.c          "xterm", 'x', ARGS_TERM_OPTIONS, G_OPTION_ARG_NONE,
ARGS_TERM_OPTIONS  198 src/args.c          "no-x11", 'X', ARGS_TERM_OPTIONS, G_OPTION_ARG_NONE,
ARGS_TERM_OPTIONS  205 src/args.c          "oldmouse", 'g', ARGS_TERM_OPTIONS, G_OPTION_ARG_NONE,
ARGS_TERM_OPTIONS  212 src/args.c          "nomouse", 'd', ARGS_TERM_OPTIONS, G_OPTION_ARG_NONE,
ARGS_TERM_OPTIONS  220 src/args.c          "termcap", 't', ARGS_TERM_OPTIONS, G_OPTION_ARG_NONE,
ARGS_TERM_OPTIONS  228 src/args.c          "slow", 's', ARGS_TERM_OPTIONS, G_OPTION_ARG_NONE,
ARGS_TERM_OPTIONS  235 src/args.c          "stickchars", 'a', ARGS_TERM_OPTIONS, G_OPTION_ARG_NONE,
ARGS_TERM_OPTIONS  243 src/args.c          "resetsoft", 'k', ARGS_TERM_OPTIONS, G_OPTION_ARG_NONE,
ARGS_TERM_OPTIONS  251 src/args.c          "keymap", 'K', ARGS_TERM_OPTIONS, G_OPTION_ARG_STRING,
ARGS_TERM_OPTIONS  258 src/args.c          "nokeymap", '\0', ARGS_TERM_OPTIONS, G_OPTION_ARG_NONE,