[Gretl-devel] case sensitivity in script editor search
Hi,
AFAICS the text search in the built-in script editor is case
insensitive, while hansl is. Could we get a tick box in the search
window switching between one and the other? Or is it more complicated to
change the underlying search engine (from gtk, I suppose)?
thanks,
sven