[Gretl-devel] crash with search/replace

Hi, I just got a gretl crash on Windows (7 64bit, snapshot from May 12th) when I did some search-and-replacing in the (tabbed) script editor. Don't know if it is part of the trigger, but I "left" the replace dialog window by clicking in the editor window, deleted some text, clicked back in the replace dialog and continued searching (clicked the search button). Could be a GTK bug I guess. ? thanks, sven