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