From 36279f5258acb0ec1895885fe00894f7e58047ce Mon Sep 17 00:00:00 2001 From: itsjunetime Date: Sat, 1 Mar 2025 19:12:08 -0700 Subject: [PATCH] Remove now-unnecessary loop --- src/renderer.rs | 14 ++++++-------- 1 file changed, 6 insertions(+), 8 deletions(-) diff --git a/src/renderer.rs b/src/renderer.rs index f7b36c0..19f2b81 100644 --- a/src/renderer.rs +++ b/src/renderer.rs @@ -304,14 +304,12 @@ pub fn start_rendering( // Then once we've rendered all these pages, wait until we get another notification // that this doc needs to be reloaded - loop { - // This once returned None despite the main thing being still connected (I think, at - // least), so I'm just being safe here - let Ok(msg) = receiver.recv() else { - return Ok(()); - }; - handle_notif!(msg); - } + // This once returned None despite the main thing being still connected (I think, at + // least), so I'm just being safe here + let Ok(msg) = receiver.recv() else { + return Ok(()); + }; + handle_notif!(msg); } } }