option_drop_selection_on_copy   41 src/editor/edit.h extern gboolean option_drop_selection_on_copy;
option_drop_selection_on_copy   91 src/editor/editcmd.c gboolean option_drop_selection_on_copy = TRUE;
option_drop_selection_on_copy 3005 src/editor/editcmd.c     if (option_drop_selection_on_copy)
option_drop_selection_on_copy  341 src/setup.c        { "editor_drop_selection_on_copy", &option_drop_selection_on_copy },