From dae5e763e90187153b1787ac6a28dca69593d661 Mon Sep 17 00:00:00 2001
From: philippe lhardy <pl@artisanlogiciel.net>
Date: Fri, 16 Oct 2020 10:55:32 +0200
Subject: [PATCH] add a slider to set maze width/height

- from 1 to 100.
---
 .../games/maze/gui/MazeSettings.java               | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/java/org/artisanlogiciel/games/maze/gui/MazeSettings.java b/java/org/artisanlogiciel/games/maze/gui/MazeSettings.java
index 3feca25..f7e4a4e 100644
--- a/java/org/artisanlogiciel/games/maze/gui/MazeSettings.java
+++ b/java/org/artisanlogiciel/games/maze/gui/MazeSettings.java
@@ -4,6 +4,8 @@ import org.artisanlogiciel.games.MazeParams;
 import org.artisanlogiciel.games.MazeParamsFixed;
 
 import javax.swing.*;
+import javax.swing.event.ChangeEvent;
+import javax.swing.event.ChangeListener;
 import java.util.Random;
 
 public class MazeSettings extends JPanel {
@@ -23,6 +25,18 @@ public class MazeSettings extends JPanel {
 
     void createSettingsGui() {
         if (params != null) {
+
+            final JSlider slider = new JSlider(1, 100);
+            slider.addChangeListener(new ChangeListener() {
+                public void stateChanged(ChangeEvent e) {
+                    // settextWidthWallSize(slider.getValue());
+                    String valueStr = "" + slider.getValue();
+                    textWidth.setText(valueStr);
+                    textHeight.setText(valueStr);
+                }
+            });
+
+            add(slider);
             JLabel widthLabel = new JLabel(Display.labels.getString("width"));
             textWidth = new JTextField("0" + params.getWidth());
             add(widthLabel);