[Gretl-devel] GUI points (1)