@jorge-ramirez-upm: Should we remove the "small circle" marker ("point" in Matplotlib) from the list of markers used by Matplotlib [in DataSet.py]?
When we use the "variable symbols" option, the "small circle" marker is too small, I think, compared to others.
Additionally, it is a bit redundant with the "large circle" marker ("circle" in Matplotlib).
@jorge-ramirez-upm: Should we remove the "small circle" marker ("point" in Matplotlib) from the list of markers used by Matplotlib [in DataSet.py]? When we use the "variable symbols" option, the "small circle" marker is too small, I think, compared to others.
Additionally, it is a bit redundant with the "large circle" marker ("circle" in Matplotlib).