From 1c12149e195c7d40d7802f0bc39679e8509687b7 Mon Sep 17 00:00:00 2001
From: Jacopo De Simoi <wilderkde@gmail.com>
Date: Thu, 6 Oct 2022 16:03:42 -0400
Subject: [PATCH] [HACK] use filler for helm-header

---
 global.org | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/global.org b/global.org
index f2c288c..78c1646 100644
--- a/global.org
+++ b/global.org
@@ -2460,7 +2460,7 @@
                               source))
                       (endstr (make-string (window-width) ? )))
                   (setq header-line-format
-                        (propertize (concat "    " hlstr endstr)
+                        (propertize (concat "··· " hlstr endstr)
                                     'face 'helm-header))))))
        (when force (force-mode-line-update)))
    #+end_src