Re: New search implementation in the IDE

[Benoît Minisini <benoit.minisini@xxxxxxxxxxxxxxxx>]

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.