|
@@ -62,15 +62,19 @@ public class TimePanel extends JPanel {
|
|
timeSlider.setPaintTicks(true);
|
|
timeSlider.setPaintTicks(true);
|
|
timeSlider.setPaintLabels(true);
|
|
timeSlider.setPaintLabels(true);
|
|
timeSlider.setMinorTickSpacing(1);
|
|
timeSlider.setMinorTickSpacing(1);
|
|
|
|
+ timeSlider.setMajorTickSpacing(5);
|
|
timeSlider.setToolTipText("Time Slider");
|
|
timeSlider.setToolTipText("Time Slider");
|
|
- timeSlider.setMinimum(1);
|
|
|
|
timeSlider.setMaximum(model.getIterations());
|
|
timeSlider.setMaximum(model.getIterations());
|
|
- timeSlider.setValue(1);
|
|
+ timeSlider.setValue(0);
|
|
timeSlider.setBackground(Color.WHITE);
|
|
timeSlider.setBackground(Color.WHITE);
|
|
|
|
+
|
|
|
|
+
|
|
|
|
+ timeBtnPanel.setBorder(null);
|
|
timeBtnPanel.setBackground(Color.WHITE);
|
|
timeBtnPanel.setBackground(Color.WHITE);
|
|
|
|
|
|
|
|
|
|
timeBtnPanel.setLayout(new FlowLayout(FlowLayout.CENTER, 0, 0));
|
|
timeBtnPanel.setLayout(new FlowLayout(FlowLayout.CENTER, 0, 0));
|
|
|
|
+ playBtn.setToolTipText("Play");
|
|
|
|
|
|
playBtn.setBackground(Color.WHITE);
|
|
playBtn.setBackground(Color.WHITE);
|
|
playBtn.setBorderPainted(false);
|
|
playBtn.setBorderPainted(false);
|
|
@@ -92,6 +96,7 @@ public class TimePanel extends JPanel {
|
|
}
|
|
}
|
|
}
|
|
}
|
|
});
|
|
});
|
|
|
|
+ timeResetBtn.setToolTipText("Reset");
|
|
|
|
|
|
timeResetBtn.setBorderPainted(false);
|
|
timeResetBtn.setBorderPainted(false);
|
|
timeResetBtn.setBackground(Color.WHITE);
|
|
timeResetBtn.setBackground(Color.WHITE);
|
|
@@ -103,6 +108,7 @@ public class TimePanel extends JPanel {
|
|
timeSlider.setValue(timeSlider.getMinimum());
|
|
timeSlider.setValue(timeSlider.getMinimum());
|
|
}
|
|
}
|
|
});
|
|
});
|
|
|
|
+ timeForwardBtn.setToolTipText("Forward");
|
|
|
|
|
|
timeForwardBtn.setBorderPainted(false);
|
|
timeForwardBtn.setBorderPainted(false);
|
|
timeForwardBtn.setContentAreaFilled(false);
|
|
timeForwardBtn.setContentAreaFilled(false);
|
|
@@ -114,6 +120,7 @@ public class TimePanel extends JPanel {
|
|
timeSlider.setValue(timeSlider.getValue() + 1);
|
|
timeSlider.setValue(timeSlider.getValue() + 1);
|
|
}
|
|
}
|
|
});
|
|
});
|
|
|
|
+ timeBackwardBtn.setToolTipText("Backward");
|
|
|
|
|
|
timeBackwardBtn.setBackground(Color.WHITE);
|
|
timeBackwardBtn.setBackground(Color.WHITE);
|
|
timeBackwardBtn.setBorderPainted(false);
|
|
timeBackwardBtn.setBorderPainted(false);
|