Script Editor Search&replace not working?

Dear all,

in the new script editor i cant replace words in the “search field” by new words:

When i click on replace or replace all, nothing happens. Is this a bug?

Rhino 8 SR18 2025-4-10 (Rhino 8, 8.18.25100.11001, Git hash:master @ 5d157e876c23ece334d9c8666b8513ffc6d4a98d)
License type: Commercial, build 2025-04-10
License details: Cloud Zoo

Windows 11 (10.0.22631 SR0.0) or greater (Physical RAM: 32GB)
.NET 7.0.20

best Peter

Sry, the replace works fine. Somehow the search field didnt show any search results. Cant replicate this problem any more TT

Got the problem again:


What am i doing wrong?