From c2f077881f53abb4cc56ae2d6e3bfc1a281b0e1e Mon Sep 17 00:00:00 2001
From: Andreas Kloeckner <inform@tiker.net>
Date: Wed, 15 Feb 2017 11:18:38 -0600
Subject: [PATCH] Add spaces after dep arrows to improve rendering on 'some'
(Mac) terminals
---
loopy/kernel/__init__.py | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/loopy/kernel/__init__.py b/loopy/kernel/__init__.py
index 1496bf84c..44088ee5f 100644
--- a/loopy/kernel/__init__.py
+++ b/loopy/kernel/__init__.py
@@ -1273,14 +1273,14 @@ class LoopKernel(ImmutableRecordWithoutPickling):
core = Fore.MAGENTA+rhs+Style.RESET_ALL
if len(loop_list) > loop_list_width:
- lines.append("%s[%s]" % (arrows, loop_list))
- lines.append("%s%s%s # %s" % (
+ lines.append("%s [%s]" % (arrows, loop_list))
+ lines.append("%s %s%s # %s" % (
extender,
(loop_list_width+2)*" ",
core,
", ".join(options)))
else:
- lines.append("%s[%s]%s%s # %s" % (
+ lines.append("%s [%s]%s%s # %s" % (
arrows,
loop_list, " "*(loop_list_width-len(loop_list)),
core,
--
GitLab