mirror of
https://git.tartarus.org/simon/putty.git
synced 2025-06-30 11:02:48 -05:00
`Copy All' ought to de-highlight any existing selection, in line
with any other operation that shifts the X selection to stuff other than the highlighted text. [originally from svn r3098]
This commit is contained in:
@ -1312,6 +1312,9 @@ void write_clip(void *frontend, wchar_t * data, int len, int must_deselect)
|
||||
gtk_selection_add_target(inst->area, GDK_SELECTION_PRIMARY,
|
||||
utf8_string_atom, 1);
|
||||
}
|
||||
|
||||
if (must_deselect)
|
||||
term_deselect(inst->term);
|
||||
}
|
||||
|
||||
void selection_get(GtkWidget *widget, GtkSelectionData *seldata,
|
||||
|
Reference in New Issue
Block a user