drop_selection_on_copy   88 src/editor/edit.c     .drop_selection_on_copy = TRUE,
drop_selection_on_copy   44 src/editor/edit.h     gboolean drop_selection_on_copy;    /* whether we need to drop selection on copy to buffer */
drop_selection_on_copy 1610 src/editor/editcmd.c     if (edit_options.drop_selection_on_copy)
drop_selection_on_copy  351 src/setup.c        { "editor_drop_selection_on_copy", &edit_options.drop_selection_on_copy },