[wingide-users] Copy search results to clipboard

[Hugh Gibson]

I would like to be able to copy the search results to the clipboard, for 
various reasons.

At the moment, right-click has the same action as left-click (i.e. select 
and navigate to the hit). It could be made to bring up a context menu 
which would include select/copy.

Another way of doing this is to make a double click navigate to the hit. 
Single click would then be used for highlighting search results, which 
could be copied to clipboard using normal actions. At the moment it feels 
very "trigger happy" and this would enable more functionality.

Hugh