From ef913a09b4ed1cc8facb77e6519a803b75e4deaf Mon Sep 17 00:00:00 2001 From: Mark Kattenbelt Date: Wed, 10 Dec 2008 11:30:10 +0000 Subject: [PATCH] turned transparant background option off by default in image export git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@886 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/userinterface/graph/GUIImageExportDialog.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/prism/src/userinterface/graph/GUIImageExportDialog.java b/prism/src/userinterface/graph/GUIImageExportDialog.java index b97b77f4..95a3a023 100644 --- a/prism/src/userinterface/graph/GUIImageExportDialog.java +++ b/prism/src/userinterface/graph/GUIImageExportDialog.java @@ -95,7 +95,7 @@ public class GUIImageExportDialog extends JDialog implements DocumentListener this.imageTypeInputField.setSelectedIndex(defaultImageType); - this.alphaInputField.setSelected(defaultImageType == PNG); + this.alphaInputField.setSelected(false); this.alphaInputField.setEnabled(defaultImageType == PNG); this.alphaInputLabel.setEnabled(defaultImageType == PNG);