Options menu
Some options for the graphical user interface.
Save data objects GZIPed
Checkable menu item. Determines whether networks, complex sets and
purification data sets which are exported to the file system are stored
in GZIP format.
Histogram bins
Determines the number of bins for all histograms plotted in the graphical user interface.