diff --git a/prism/images/smallLeft.gif b/prism/images/smallLeft.gif
new file mode 100644
index 00000000..c1940b41
Binary files /dev/null and b/prism/images/smallLeft.gif differ
diff --git a/prism/images/smallRight.gif b/prism/images/smallRight.gif
new file mode 100644
index 00000000..0b48aae5
Binary files /dev/null and b/prism/images/smallRight.gif differ
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 @@
-
-
-
@@ -244,9 +241,6 @@
-
-
-
@@ -444,9 +438,6 @@
-
-
-
@@ -457,9 +448,6 @@
-
-
-
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);