| From: | "J(dot)F(dot) Oster" <jinfroster(at)mail(dot)ru> |
|---|---|
| To: | pgadmin-hackers <pgadmin-hackers(at)postgresql(dot)org> |
| Subject: | PATCH: Enable backwards search in SQL Box |
| Date: | 2014-02-17 17:46:17 |
| Message-ID: | 531420366.20140217214617@mail.ru |
| Views: | Raw Message | Whole Thread | Download mbox | Resend email |
| Thread: | |
| Lists: | pgadmin-hackers |
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.
| Attachment | Content-Type | Size |
|---|---|---|
| 140217_findreplace_direction.patch | application/octet-stream | 1.7 KB |
| From | Date | Subject | |
|---|---|---|---|
| Next Message | Dave Page | 2014-02-20 11:22:48 | Re: PATCH: Enable backwards search in SQL Box |
| Previous Message | David E. Wheeler | 2014-02-13 17:11:36 | Re: Add CREATE EXTENSION Support |