philippe lhardy b8cb7394cd Move (most) hardcoded defaults to MazeDefault ...

- harcoded values centralized
- IntegerField for JTextField containing numbers
- fix, can draw even if topleft position is not (0,0) ( ie if scrollbar were used )

2020-12-15 22:26:57 +01:00

..

IntegerField.java

Move (most) hardcoded defaults to MazeDefault

2020-12-15 22:26:57 +01:00

Panel.java

Move (most) hardcoded defaults to MazeDefault

2020-12-15 22:26:57 +01:00