On January 26, 2020 6:13:46 PM UTC, meik michalke
wrote:
>hi,
>
>Am Sonntag, 26. Januar 2020, 15:19:54 CET schrieb Thomas Friedrichsmeier:
>> the idea behind changing this was to avoid confusion, as the plugin will
>> not search in help files, or the output file.
>
>how about using the
hi,
Am Sonntag, 26. Januar 2020, 15:19:54 CET schrieb Thomas Friedrichsmeier:
> the idea behind changing this was to avoid confusion, as the plugin will
> not search in help files, or the output file.
how about using the default name as stefan suggested, but explain this in the
tooltip on
Hi,
On Sat, 25 Jan 2020 23:27:31 +0100
Stefan Rödiger [GMX] wrote:
> regarding the new "Search in Files" naming ("Search in Scripts" in
> RKWard) I recommend to use the labels of Kate.
the idea behind changing this was to avoid confusion, as the plugin will
not search in help files, or the