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 1603 src/editor/editcmd.c     if (edit_options.drop_selection_on_copy)
drop_selection_on_copy  356 src/setup.c        { "editor_drop_selection_on_copy", &edit_options.drop_selection_on_copy },