diff options
author | Keith Packard <keithp@keithp.com> | 2017-11-11 16:08:32 -0800 |
---|---|---|
committer | Keith Packard <keithp@keithp.com> | 2017-11-11 16:36:56 -0800 |
commit | 5b6805d1a6a91a26a1892f414a99f0184871ac1a (patch) | |
tree | d072cada406fab1a98028f006f4d6d1c69361a0e /altosuilib/AltosUIGraph.java | |
parent | 82e552d194216b41d27d805bee2947127c2d555b (diff) |
altosuilib: New line styles and colors for graphs. Selectable line width
Improve the readability of graphs by offering a better selection of
colors and adding line styles. Let the user configure the line width
as desired.
Signed-off-by: Keith Packard <keithp@keithp.com>
Diffstat (limited to 'altosuilib/AltosUIGraph.java')
-rw-r--r-- | altosuilib/AltosUIGraph.java | 13 |
1 files changed, 9 insertions, 4 deletions
diff --git a/altosuilib/AltosUIGraph.java b/altosuilib/AltosUIGraph.java index 6328d40a..40f415f1 100644 --- a/altosuilib/AltosUIGraph.java +++ b/altosuilib/AltosUIGraph.java @@ -56,14 +56,14 @@ public class AltosUIGraph implements AltosUnitsListener, AltosShapeListener { return panel; } - public AltosUIAxis newAxis(String label, AltosUnits units, Color color, int flags) { - AltosUIAxis axis = new AltosUIAxis(label, units, color, axis_index++, flags); + public AltosUIAxis newAxis(String label, AltosUnits units, AltosUILineStyle line_style, int flags) { + AltosUIAxis axis = new AltosUIAxis(label, units, line_style, axis_index++, flags); plot.setRangeAxis(axis.index, axis); return axis; } - public AltosUIAxis newAxis(String label, AltosUnits units, Color color) { - return newAxis(label, units, color, AltosUIAxis.axis_default); + public AltosUIAxis newAxis(String label, AltosUnits units, AltosUILineStyle line_style) { + return newAxis(label, units, line_style, AltosUIAxis.axis_default); } void addAxis(AltosUIAxis axis) { @@ -104,6 +104,11 @@ public class AltosUIGraph implements AltosUnitsListener, AltosShapeListener { s.set_shapes_visible(visible); } + public void set_line_width(float width) { + for (AltosUITimeSeries s : series) + s.set_line_width(width); + } + public void setName (String name) { chart.setTitle(name); } |