Attempt at introducing an alternative scale for the discretization of
node activity levels. Instead of using a linear scale, we have a
logarithmic scale. In practice, this should help us get less events and
smoother graphs.
The interface for choosing the discretization approach is nearly
complete in NodeDialog (not saving the initial activity yet), while the
reactant-centered model should output the right templates depending on
the scale chosen for each node.
(forgot to add the JSwitchBox in the previous commit)
JSwitchBox is a fancier way to show two options in the shape of an
"on-off" switch. Should also take less space and be more intuitive.
Going back to less sensible version numbering because of Cytoscape's
madness. So, the "dev" version will be 2.x instead of 1.1.x.
Trying to get double values for log-scale reactants, we use the "double"
encoding directly with those reactants. Currently not working, because
not all points in a time series are output by UPPAAL (for no apparent
reason?)
Also, added an option ("developer" only) to the graph that adds the
possibility to have thicker axis lines and larger fonts.