This is the point or scan selection. Note that this selection is performed
first, before any star selection is performed by the plot selection widget.
The Point selection is only used if the directive
is set to "Selected". Important: after entering a selection,
do not forget to hit <return>!
There is a simple parser reading the input selection. The following examples
should explain how it works.
- 1-20: parsed into 1,2,3,4,5,6,7,8,9,...,20
- 1-10,12,15-20: parsed into 1,2,3,4,5,6,7,8,9,10,12,15,16,...,20