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/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>

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);