[wingide-users] Problems with mini-search

[Wing IDE Support]

Hugh Gibson wrote:
> If you select the text in the mini-search edit box and then paste new 
> text, it gets appended to the existing text in the edit box rather than 
> replacing it.
> 
> If you try and use the debugging keys like Step (F6) while focus is in the 
> mini-search edit box, nothing happens.

You're right on both counts: the text should be replaced and keys such 
as F6 should work when in the mini-search area.  I've put these on our 
list of bugs.

Thanks for the bug report,

John