From dde246f20248ad009fc02c618b535ba8a5b11d7d Mon Sep 17 00:00:00 2001
From: Raymond Hill <rhill@raymondhill.net>
Date: Thu, 17 Aug 2023 09:28:29 -0400
Subject: [PATCH] Do not issue extraneous doc separators in logger

---
 src/js/logger-ui.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/js/logger-ui.js b/src/js/logger-ui.js
index 34414129f..64ec2a695 100644
--- a/src/js/logger-ui.js
+++ b/src/js/logger-ui.js
@@ -417,7 +417,7 @@ const processLoggerEntries = function(response) {
             parsed.type === 'main_frame' &&
             parsed.aliased === false && (
                 parsed.filter === undefined ||
-                parsed.filter.source !== 'redirect'
+                parsed.filter.modifier !== true
             )
         ) {
             const separator = createLogSeparator(parsed, unboxed.url);