Re: New search implementation in the IDE

[Bruce Steers <bsteers4@xxxxxxxxx>]

On Sat, 2 Nov 2024 at 12:15, Benoît Minisini <
benoit.minisini@xxxxxxxxxxxxxxxx> wrote:

> Le 01/11/2024 à 13:20, Christof Thalhofer a écrit :
> > Am 01.11.24 um 01:18 schrieb Bruce Steers:
> >
> >> Now its at bottom of document above the console i like it better, it's
> >> not so in the way of what i'm used to :)
> >
> > I didn't try it but doesn't it collide with the search result tab which
> > has to come up with 'CTRL-ENTER'?
> >
> > I personally like the position above the tab panel because it shows that
> > it can search across all files.
> >
> > Alles Gute
> >
> > Christof Thalhofer
> >
>
> I can make an option for that.
>
> --
> Benoît Minisini.
>

If you mean an option to show the search panel below the document or above
then i'd welcome it (although i've already done it)
but it seems i'm not alone with that preference.

Thank you

BruceS