From 7613fdd4c3f1315ffe9a51d6f2370bfd81c03f58 Mon Sep 17 00:00:00 2001
From: Jonas Herzig <jonas@spark-squared.com>
Date: Tue, 7 Apr 2020 15:26:07 +0200
Subject: [PATCH] Abort rendering when window receives close request even when
 paused

Previously we'd get stuck in the paused render loop even when window close was
requested.
---
 .../com/replaymod/render/rendering/VideoRenderer.java     | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/src/main/java/com/replaymod/render/rendering/VideoRenderer.java b/src/main/java/com/replaymod/render/rendering/VideoRenderer.java
index 2a39517d..6f28852c 100644
--- a/src/main/java/com/replaymod/render/rendering/VideoRenderer.java
+++ b/src/main/java/com/replaymod/render/rendering/VideoRenderer.java
@@ -417,6 +417,14 @@ public class VideoRenderer implements RenderInfo {
 
     public void drawGui() {
         do {
+            //#if MC>=11400
+            if (GLFW.glfwWindowShouldClose(getWindow(mc).getHandle()) || ((MinecraftAccessor) mc).getCrashReporter() != null) {
+            //#else
+            //$$ if (Display.isCloseRequested() || ((MinecraftAccessor) mc).getCrashReporter() != null) {
+            //#endif
+                return;
+            }
+
             // Resize the GUI framebuffer if the display size changed
             if (!settings.isHighPerformance() && displaySizeChanged()) {
                 updateDisplaySize();