[Gretl-devel] a little search&replace bug

Hi, I think there's a small bug when you do search & replace in the script editor: (Snapshot May 14th here) Suppose you want to replace xyz with abc and you have three occurrences of "xyz" in a line. After replacing the first xyz, when you hit the search button in the dialog again, gretl finds the _third_ xyz, so it is missing the immediately next one. (And BTW, on Windows at least the background color used for highlighting the string that was found is very light and quite difficult to see IMO. Another GTK thing? Is it settable somehow?) thanks, sven