From 17ba6ffdda2a01b61f10583c54319abfa6391d1b Mon Sep 17 00:00:00 2001 From: Mark Kattenbelt Date: Mon, 30 Oct 2006 15:06:12 +0000 Subject: [PATCH] Failed to compile due to JButtons being declared locally. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@90 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/userinterface/GUIConstantsPicker.java | 4 +++- prism/src/userinterface/properties/GUIExperimentPicker.java | 5 +++-- 2 files changed, 6 insertions(+), 3 deletions(-) diff --git a/prism/src/userinterface/GUIConstantsPicker.java b/prism/src/userinterface/GUIConstantsPicker.java index 59dad9c6..295b94da 100644 --- a/prism/src/userinterface/GUIConstantsPicker.java +++ b/prism/src/userinterface/GUIConstantsPicker.java @@ -51,6 +51,8 @@ public class GUIConstantsPicker extends javax.swing.JDialog private Action okAction; private Action cancelAction; + private javax.swing.JButton okayButton; + private UndefinedConstants undef; private GUIPrism gui; @@ -108,7 +110,7 @@ public class GUIConstantsPicker extends javax.swing.JDialog javax.swing.JPanel jPanel4; javax.swing.JPanel jPanel5; javax.swing.JPanel jPanel6; - javax.swing.JButton okayButton; + jPanel1 = new javax.swing.JPanel(); jPanel2 = new javax.swing.JPanel(); diff --git a/prism/src/userinterface/properties/GUIExperimentPicker.java b/prism/src/userinterface/properties/GUIExperimentPicker.java index f40a6de7..e9e15f84 100644 --- a/prism/src/userinterface/properties/GUIExperimentPicker.java +++ b/prism/src/userinterface/properties/GUIExperimentPicker.java @@ -58,6 +58,8 @@ public class GUIExperimentPicker extends javax.swing.JDialog private Action okAction; private Action cancelAction; + private javax.swing.JButton okayButton; + private UndefinedConstants undef; private GUIPrism gui; @@ -137,8 +139,7 @@ public class GUIExperimentPicker extends javax.swing.JDialog javax.swing.JPanel jPanel4; javax.swing.JPanel jPanel5; javax.swing.JPanel jPanel6; - javax.swing.JButton okayButton; - + jPanel1 = new javax.swing.JPanel(); jPanel2 = new javax.swing.JPanel(); jPanel3 = new javax.swing.JPanel();