From c44b7763c52af44f8ab17d2ba48f3a5b28ee3888 Mon Sep 17 00:00:00 2001
From: Justin Kunimune <justinkunimune@gmail.com>
Date: Mon, 18 Dec 2023 15:05:14 -0800
Subject: [PATCH] better default image sizes

this rounding to 10 thing wasn't great, and the images were also a bit bigger than they needed to be.
---
 src/dialogs/MapConfigurationDialog.java | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/dialogs/MapConfigurationDialog.java b/src/dialogs/MapConfigurationDialog.java
index 7253d20..544daa3 100644
--- a/src/dialogs/MapConfigurationDialog.java
+++ b/src/dialogs/MapConfigurationDialog.java
@@ -42,7 +42,7 @@ import static java.lang.Math.sqrt;
 public class MapConfigurationDialog extends Dialog<Boolean> {
 
 	public final int MIN_SIZE = 5, MAX_SIZE = 30000;
-	public final double DEF_SIZE = 1500;
+	public final double DEF_SIZE = 1200;
 	
 	
 	private final double defaultRatio;
@@ -66,7 +66,7 @@ public class MapConfigurationDialog extends Dialog<Boolean> {
 		this.widthBox.setMaxWidth(Double.MAX_VALUE);
 		
 		this.heightBox = new Spinner<Integer>(MIN_SIZE, MAX_SIZE,
-				10*(int)round(this.widthBox.getValue()/defaultRatio/10));
+				(int)round(this.widthBox.getValue()/defaultRatio));
 		this.heightBox.setEditable(true);
 		this.widthBox.setMaxWidth(Double.MAX_VALUE);