Re: [gedit-list] gedit is unmaintained, some thoughts

[Stefan Salewski <mail ssalewski de>]

On Mon, 2017-07-17 at 10:12 +0200, Matěj Cepl wrote:
> On 2017-07-17, 06:37 GMT, Stefan Salewski wrote:
> > For me it has become really hard to use. Most serious problem 
> > was the vanishing search entry.
>
> ??? I press Ctrl-F and write the search term. What’s the 
> problem?

Oh yes, that works, and is much faster than clicking each time the
gears menu with the mouse. Still I would prefer a larger and always
visible search entry.

Thanks.