… | |
… | |
2923 | selection.len = 0; |
2923 | selection.len = 0; |
2924 | CLEAR_SELECTION (); |
2924 | CLEAR_SELECTION (); |
2925 | |
2925 | |
2926 | if (display->selection_owner == this) |
2926 | if (display->selection_owner == this) |
2927 | display->selection_owner = 0; |
2927 | display->selection_owner = 0; |
|
|
2928 | |
|
|
2929 | flush (); |
2928 | } |
2930 | } |
2929 | |
2931 | |
2930 | /* ------------------------------------------------------------------------- */ |
2932 | /* ------------------------------------------------------------------------- */ |
2931 | /* |
2933 | /* |
2932 | * Copy a selection into the cut buffer |
2934 | * Copy a selection into the cut buffer |