From eeea7265801d908cabab8ed836c86dc65e76d256 Mon Sep 17 00:00:00 2001
From: Mark Kattenbelt <mark.kattenbelt@comlab.ox.ac.uk>
Date: Mon, 18 Dec 2006 09:38:11 +0000
Subject: [PATCH] Added an icon to the `make visible' and `make hidden' buttons
 in de view configuration dialog.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@202 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/images/smallLeft.gif                        | Bin 0 -> 117 bytes
 prism/images/smallRight.gif                       | Bin 0 -> 117 bytes
 .../userinterface/simulator/GUIViewDialog.form    |  12 ------------
 .../userinterface/simulator/GUIViewDialog.java    |  11 +++++++----
 4 files changed, 7 insertions(+), 16 deletions(-)
 create mode 100644 prism/images/smallLeft.gif
 create mode 100644 prism/images/smallRight.gif

diff --git a/prism/images/smallLeft.gif b/prism/images/smallLeft.gif
new file mode 100644
index 0000000000000000000000000000000000000000..c1940b4160956ccf0364707ea83ee58e796a87e0
GIT binary patch
literal 117
zcmZ?wbhEHb6krfwIK;s4|Ns9pXa3Ked4_?30my(O#h)yU3=Av`IzVxtN&yB2W-E_f
zcl-{!N-mSynyC2f-Dz`%fCIhLZ%$N-oVTWHpSEqh498Qkx?j5l_;1|)+v9jAH{kLP
Nr}OP4uRItStO1h4GdlnP

literal 0
HcmV?d00001

diff --git a/prism/images/smallRight.gif b/prism/images/smallRight.gif
new file mode 100644
index 0000000000000000000000000000000000000000..0b48aae5da097c50290adfd88d89729c9dfc59ff
GIT binary patch
literal 117
zcmZ?wbhEHb6krfwIK;s4|Ns9pXa3Ked4_?30my(O#h)yU3=Av`IzVxtN&yB2W-E_f
zcdYr2DO_FfmP^s}{B3uh#MG(J)A}@4H?7z1Yvj7HEwp&M`5lY656e&gY*0@U`kBx-
Nr*B2cDh~z*YXFPsGVK5W

literal 0
HcmV?d00001

diff --git a/prism/src/userinterface/simulator/GUIViewDialog.form b/prism/src/userinterface/simulator/GUIViewDialog.form
index 4f17bbe2..101b7971 100644
--- a/prism/src/userinterface/simulator/GUIViewDialog.form
+++ b/prism/src/userinterface/simulator/GUIViewDialog.form
@@ -231,9 +231,6 @@
                       <Layout class="org.netbeans.modules.form.compat2.layouts.DesignGridBagLayout"/>
                       <SubComponents>
                         <Component class="javax.swing.JButton" name="makeVariableVisibleButton">
-                          <Properties>
-                            <Property name="text" type="java.lang.String" value="&lt;&lt;"/>
-                          </Properties>
                           <Events>
                             <EventHandler event="actionPerformed" listener="java.awt.event.ActionListener" parameters="java.awt.event.ActionEvent" handler="makeVariableVisibleButtonActionPerformed"/>
                           </Events>
@@ -244,9 +241,6 @@
                           </Constraints>
                         </Component>
                         <Component class="javax.swing.JButton" name="makeVariableHiddenButton">
-                          <Properties>
-                            <Property name="text" type="java.lang.String" value="&gt;&gt;"/>
-                          </Properties>
                           <Events>
                             <EventHandler event="actionPerformed" listener="java.awt.event.ActionListener" parameters="java.awt.event.ActionEvent" handler="makeVariableHiddenButtonActionPerformed"/>
                           </Events>
@@ -444,9 +438,6 @@
                       <Layout class="org.netbeans.modules.form.compat2.layouts.DesignGridBagLayout"/>
                       <SubComponents>
                         <Component class="javax.swing.JButton" name="makeRewardVisibleButton">
-                          <Properties>
-                            <Property name="text" type="java.lang.String" value="&lt;&lt;"/>
-                          </Properties>
                           <Events>
                             <EventHandler event="actionPerformed" listener="java.awt.event.ActionListener" parameters="java.awt.event.ActionEvent" handler="makeRewardVisibleButtonActionPerformed"/>
                           </Events>
@@ -457,9 +448,6 @@
                           </Constraints>
                         </Component>
                         <Component class="javax.swing.JButton" name="makeRewardHiddenButton">
-                          <Properties>
-                            <Property name="text" type="java.lang.String" value="&gt;&gt;"/>
-                          </Properties>
                           <Events>
                             <EventHandler event="actionPerformed" listener="java.awt.event.ActionListener" parameters="java.awt.event.ActionEvent" handler="makeRewardHiddenButtonActionPerformed"/>
                           </Events>
diff --git a/prism/src/userinterface/simulator/GUIViewDialog.java b/prism/src/userinterface/simulator/GUIViewDialog.java
index 670981c7..1e2f7087 100644
--- a/prism/src/userinterface/simulator/GUIViewDialog.java
+++ b/prism/src/userinterface/simulator/GUIViewDialog.java
@@ -26,6 +26,7 @@ import parser.*;
 import prism.*;
 
 import javax.swing.*;
+
 import java.awt.*;
 import javax.swing.border.*;
 import javax.swing.table.*;
@@ -171,6 +172,12 @@ public class GUIViewDialog extends JDialog implements KeyListener
 		
 		variableTabPane.setEnabledAt(2, view.canShowTime());
 		
+		makeVariableHiddenButton.setIcon(new ImageIcon(this.getClass().getResource("/images/smallRight.gif")));
+		makeRewardHiddenButton.setIcon(new ImageIcon(this.getClass().getResource("/images/smallRight.gif")));
+		
+		makeVariableVisibleButton.setIcon(new ImageIcon(this.getClass().getResource("/images/smallLeft.gif")));
+		makeRewardVisibleButton.setIcon(new ImageIcon(this.getClass().getResource("/images/smallLeft.gif")));
+		
 		this.setVisible(true);
 	}
     
@@ -318,7 +325,6 @@ public class GUIViewDialog extends JDialog implements KeyListener
 
         centerVariablePanel.setLayout(new java.awt.GridBagLayout());
 
-        makeVariableVisibleButton.setText("<<");
         makeVariableVisibleButton.addActionListener(new java.awt.event.ActionListener() {
             public void actionPerformed(java.awt.event.ActionEvent evt) {
                 makeVariableVisibleButtonActionPerformed(evt);
@@ -333,7 +339,6 @@ public class GUIViewDialog extends JDialog implements KeyListener
         gridBagConstraints.insets = new java.awt.Insets(3, 10, 3, 10);
         centerVariablePanel.add(makeVariableVisibleButton, gridBagConstraints);
 
-        makeVariableHiddenButton.setText(">>");
         makeVariableHiddenButton.addActionListener(new java.awt.event.ActionListener() {
             public void actionPerformed(java.awt.event.ActionEvent evt) {
                 makeVariableHiddenButtonActionPerformed(evt);
@@ -430,7 +435,6 @@ public class GUIViewDialog extends JDialog implements KeyListener
 
         centerRewardPanel.setLayout(new java.awt.GridBagLayout());
 
-        makeRewardVisibleButton.setText("<<");
         makeRewardVisibleButton.addActionListener(new java.awt.event.ActionListener() {
             public void actionPerformed(java.awt.event.ActionEvent evt) {
                 makeRewardVisibleButtonActionPerformed(evt);
@@ -445,7 +449,6 @@ public class GUIViewDialog extends JDialog implements KeyListener
         gridBagConstraints.insets = new java.awt.Insets(3, 10, 3, 10);
         centerRewardPanel.add(makeRewardVisibleButton, gridBagConstraints);
 
-        makeRewardHiddenButton.setText(">>");
         makeRewardHiddenButton.addActionListener(new java.awt.event.ActionListener() {
             public void actionPerformed(java.awt.event.ActionEvent evt) {
                 makeRewardHiddenButtonActionPerformed(evt);