options_set_number
options_set_number(w->options, "automatic-rename", 0);
options_set_number(w->options, "automatic-rename", 0);
options_set_number(wl->window->options, "automatic-rename", 0);
options_set_number(w->options, "window-size", WINDOW_SIZE_MANUAL);
options_set_number(new_wp->options, "pane-border-lines", lines);
options_set_number(new_wp->options, "remain-on-exit", 3);
options_set_number(w->options, "automatic-rename", 0);
options_set_number(oo, name, flag);
options_set_number(oo, name, choice);
options_set_number(oo, name, number);
options_set_number(oo, name, key);
options_set_number(oo, name, number);
options_set_number(wp->options, "remain-on-exit", 0);
options_set_number(global_options, "exit-empty", 0);
options_set_number(w->options, "automatic-rename", 0);
options_set_number(wp->options, "remain-on-exit", 0);
options_set_number(global_s_options, "status-keys", keys);
options_set_number(global_w_options, "mode-keys", keys);
struct options_entry *options_set_number(struct options *, const char *,
options_set_number(oo, name, !flag);
options_set_number(oo, name, choice);