From 3976657a3934640877d13aa9aad38e8c9677d180 Mon Sep 17 00:00:00 2001
From: Liam Davey <daveyliam@gmail.com>
Date: Sun, 24 Nov 2013 22:40:26 +1100
Subject: [PATCH] Smaller coord font size

Only scales well at half size, other fractions don't work so well.
Might need to make this configurable if some people don't like the
smaller font.
---
 map/MapRenderer.java | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/map/MapRenderer.java b/map/MapRenderer.java
index 219318cd..356eb850 100644
--- a/map/MapRenderer.java
+++ b/map/MapRenderer.java
@@ -166,8 +166,12 @@ public static void paintChunk(MapMode mapMode, MapView mapView, IMwChunkOverlay
 	public static void drawCoords(Mw mw, MapMode mapMode) {
 		// draw coordinates
 		if (mw.coordsEnabled && mapMode.coordsEnabled) {
-			Render.drawCentredString(mapMode.textX, mapMode.textY, mapMode.textColour,
+			GL11.glPushMatrix();
+			GL11.glTranslatef(mapMode.textX, mapMode.textY, 0);
+			GL11.glScalef(0.5f, 0.5f, 1.0f);
+			Render.drawCentredString(0, 0, mapMode.textColour,
 					"%d, %d, %d", mw.playerXInt, mw.playerYInt, mw.playerZInt);
+			GL11.glPopMatrix();
 		}
 	}