Re: [gedit-list] gedit-list Digest, Vol 107, Issue 11





On Tue, Dec 17, 2013 at 10:02 PM, Ray Andrews <rayandrews eastlink ca> wrote:
On 17/12/13 06:04 PM, Adam Dingle wrote:

Adam,


Incremental search means searching as you type, without needing to press Enter to initiate a search:

Sure, that's a very good thing, hard not to like it, but of course the persistence of the box is another issue. Why not just make that configurable?

Since you can recall the search box at any time by pressing Ctrl+F, I think most users find there's simply no need for the box to persist.  If it did persist, you'd have to move the mouse to it and click it to begin another search.  Pressing Ctrl+F is arguably easier than that.

adam


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]