[Gretl-devel] point size in gnuplot

Hi, here's a very concrete feature request: In gretl's GUI window for gnuplot there's still some space below the drop-down list for the point symbol (which applies at least to "points" and "lines-points" styles). IMO it would be useful to put a box there to specify the point size; for example, a value of 0.5 would imply adding "ps 0.5" to the respective gnuplot command line. The box could be exactly like the one for linewidth, but of course would only be active whenever the point type selector is active as well. As a more general remark, I've learned that with gnuplot 5 it seems easier (compared to gnuplot 4) to handle the data values that are given "inline" in the gnuplot file, by specifying a named "datablock". Stuff like shaded areas and so forth should be easier to achieve from gretl's side I guess. But Debian for example switched to gnuplot 5 less than a year ago (if I understand correctly, but could be wrong?). I wonder what an acceptable timeframe for gretl would be to require gnuplot 5. thanks, sven