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.
This commit is contained in:
Jonas Herzig
2020-04-07 15:26:07 +02:00
parent 31caa68b34
commit 7613fdd4c3

View File

@@ -417,6 +417,14 @@ public class VideoRenderer implements RenderInfo {
public void drawGui() { public void drawGui() {
do { 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 // Resize the GUI framebuffer if the display size changed
if (!settings.isHighPerformance() && displaySizeChanged()) { if (!settings.isHighPerformance() && displaySizeChanged()) {
updateDisplaySize(); updateDisplaySize();