Hello!
Pressing F3 in query editor makes the previously started search
continue forwards.
This patch adds expected behavior for Shift-F3.
There is a minor inconvenience when just changing the search direction
- you have to press (Shift-)F3 *twice* for the (previous)next occurence
to get highlighted. That's because first time goes for cursor movement
to the corresponding boundary of current occurence. But that also
happens when search direction is changed with dialog radio-buttons, so
I think it's ok.
--
Best regards,
J.F.