[Gretl-devel] Text with focus/highlight in script editor off screen