From 83b22458fc5a133a858a0a0fd7adc0ee53473b13 Mon Sep 17 00:00:00 2001
From: RandomityGuy <31925790+RandomityGuy@users.noreply.github.com>
Date: Sun, 8 Jan 2023 12:38:50 +0530
Subject: [PATCH] highdpi the gold badge

---
 src/gui/PlayMissionGui.hx | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

diff --git a/src/gui/PlayMissionGui.hx b/src/gui/PlayMissionGui.hx
index 8ce53874..cb538fca 100644
--- a/src/gui/PlayMissionGui.hx
+++ b/src/gui/PlayMissionGui.hx
@@ -433,9 +433,10 @@ class PlayMissionGui extends GuiImage {
 		}
 
 		var goldBadge = ResourceLoader.getResource("data/ui/play/goldscore.png", ResourceLoader.getImage, this.imageResources).toTile();
-		goldBadge.dy = 2.5;
-		goldBadge.dx = 8;
-		goldBadge.scaleToSize(goldBadge.width * Settings.uiScale, goldBadge.height * Settings.uiScale);
+		goldBadge.dy = 2.5 * Settings.uiScale;
+		goldBadge.dx = 8 * Settings.uiScale;
+		var gbWidth = goldBadge.width;
+		var gbHeight = goldBadge.height;
 
 		setSelectedFunc = function setSelected(index:Int) {
 			if (index > currentList.length - 1) {
@@ -516,8 +517,11 @@ class PlayMissionGui extends GuiImage {
 					descText2 += '<img src="goldBadge.png"></img>';
 				}
 			}
+			pmDescriptionOther.text.lineHeightMode = TextOnly;
 			pmDescriptionOther.text.text = descText2;
 			pmDescriptionOther.text.loadImage = (name) -> goldBadge;
+			goldBadge.scaleToSize((gbWidth / gbHeight) * arialBold14.lineHeight, arialBold14.lineHeight);
+			pmDescription.text.lineSpacing = pmDescriptionOther.text.lineSpacing;
 
 			#if android
 			pmPreview.bmp.tile = currentMission.getPreviewImageSync();