option_save_mode   84 src/editor/edit.c int option_save_mode = EDIT_QUICK_SAVE;
option_save_mode   46 src/editor/edit.h extern int option_save_mode;
option_save_mode  206 src/editor/editcmd.c     this_save_mode = option_save_mode;
option_save_mode 1710 src/editor/editcmd.c             QUICK_RADIO (3, str, &option_save_mode, &edit_save_mode_radio_id),
option_save_mode  395 src/setup.c        { "editor_option_save_mode", &option_save_mode },