From 023f580e01cde8920d5c6e0e5ef2f190b2861965 Mon Sep 17 00:00:00 2001
From: Evan Debenham <Evan@ShatteredPixel.com>
Date: Sat, 12 Oct 2019 19:22:03 -0400
Subject: [PATCH] v0.7.5b: tweaked spacing for WndOptions

---
 .../shatteredpixeldungeon/windows/WndOptions.java             | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/core/src/main/java/com/shatteredpixel/shatteredpixeldungeon/windows/WndOptions.java b/core/src/main/java/com/shatteredpixel/shatteredpixeldungeon/windows/WndOptions.java
index 35ca807cd..45cd2266c 100644
--- a/core/src/main/java/com/shatteredpixel/shatteredpixeldungeon/windows/WndOptions.java
+++ b/core/src/main/java/com/shatteredpixel/shatteredpixeldungeon/windows/WndOptions.java
@@ -48,10 +48,10 @@ public class WndOptions extends Window {
 		
 		RenderedTextBlock tfMesage = PixelScene.renderTextBlock( 6 );
 		tfMesage.text(message, width - MARGIN * 2);
-		tfMesage.setPos( MARGIN, tfTitle.top() + tfTitle.height() + MARGIN );
+		tfMesage.setPos( MARGIN, tfTitle.top() + tfTitle.height() + 2*MARGIN );
 		add( tfMesage );
 		
-		float pos = tfMesage.bottom() + MARGIN;
+		float pos = tfMesage.bottom() + 2*MARGIN;
 		
 		for (int i=0; i < options.length; i++) {
 			final int index = i;