Help for this page
SKIP: { ... $buffer -> add_selection_clipboard($clipboard); $buffer -> remove_selection_clipboard($clipboard); }