diff --git a/prism/src/userinterface/graph/DisplaySettings.java b/prism/src/userinterface/graph/DisplaySettings.java index aff0ac36..fb7643ce 100644 --- a/prism/src/userinterface/graph/DisplaySettings.java +++ b/prism/src/userinterface/graph/DisplaySettings.java @@ -39,7 +39,9 @@ import settings.SettingException; import settings.SettingOwner; import java.awt.*; - + +import javax.swing.UIManager; + /** * Representation of the display settings of a Graph. * The settings are propagated to the JFreeChart library. @@ -68,11 +70,12 @@ public class DisplaySettings extends Observable implements SettingOwner this.plot = chart.getXYPlot(); antiAlias = new BooleanSetting("anti-aliasing", new Boolean(true), "Should the graph be rendered using anti-aliasing?", this, false); + Color defaultColor = Color.white; - Color defaultColor = Color.white; - - if (chart.getBackgroundPaint() instanceof Color) - defaultColor = ((Color)chart.getBackgroundPaint()); + //Color defaultColor = UIManager.getColor("Panel.background"); + + //if (chart.getBackgroundPaint() instanceof Color) + // defaultColor = ((Color)chart.getBackgroundPaint()); backgroundColor = new ColorSetting("background colour", defaultColor, "The background colour of the graph panel", this, false);