Re. my reply to Sven at
I wrote, "I can say that on Linux a GtkText window does not behave
quite as I'd expect (from experience with several editors). That is,
if you're typing on the last visible line in a GtkText window and
hit the Enter key, the new (so far, empty) line does not appear,
it's off the bottom of the window."
(The gretl script editor is a GtkText window.)
OK, I now see that this is not the default behavior of GtkText, it's
an artifact of our modification of the default behavior, aimed at
getting the indentation level right on a new line when editing a
Said modification is now fixed: hitting Enter will not only put a
newline character into the buffer but will also ensure that the new
line is visible.