ARGS_TERM_OPTIONS  190 src/args.c          "xterm", 'x', ARGS_TERM_OPTIONS, G_OPTION_ARG_NONE,
ARGS_TERM_OPTIONS  197 src/args.c          "no-x11", 'X', ARGS_TERM_OPTIONS, G_OPTION_ARG_NONE,
ARGS_TERM_OPTIONS  204 src/args.c          "oldmouse", 'g', ARGS_TERM_OPTIONS, G_OPTION_ARG_NONE,
ARGS_TERM_OPTIONS  211 src/args.c          "nomouse", 'd', ARGS_TERM_OPTIONS, G_OPTION_ARG_NONE,
ARGS_TERM_OPTIONS  219 src/args.c          "termcap", 't', ARGS_TERM_OPTIONS, G_OPTION_ARG_NONE,
ARGS_TERM_OPTIONS  227 src/args.c          "slow", 's', ARGS_TERM_OPTIONS, G_OPTION_ARG_NONE,
ARGS_TERM_OPTIONS  234 src/args.c          "stickchars", 'a', ARGS_TERM_OPTIONS, G_OPTION_ARG_NONE,
ARGS_TERM_OPTIONS  242 src/args.c          "resetsoft", 'k', ARGS_TERM_OPTIONS, G_OPTION_ARG_NONE,
ARGS_TERM_OPTIONS  250 src/args.c          "keymap", 'K', ARGS_TERM_OPTIONS, G_OPTION_ARG_STRING,
ARGS_TERM_OPTIONS  257 src/args.c          "nokeymap", '\0', ARGS_TERM_OPTIONS, G_OPTION_ARG_NONE,