From 19a6d57a27b66cf6f14c78c3f00dab613d66155a Mon Sep 17 00:00:00 2001 From: Ville Rantanen Date: Fri, 26 Feb 2016 09:10:02 +0200 Subject: [PATCH] hide execute signs --- reporting/markslider.py | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/reporting/markslider.py b/reporting/markslider.py index 0231414..eb9ab6b 100755 --- a/reporting/markslider.py +++ b/reporting/markslider.py @@ -501,7 +501,9 @@ def colorify(s,opts): "${K}\\1${Z}"] # for r in zip(rules,colors): s=re.sub(r[0],r[1],s) - + # Replace executable commands with $ only in the beginning + s=re.sub("\$[>!]","$",s,1) + s=re.sub("\$[>!]","",s) c=bc.color_string(s)+bc.Z return c def cut_line(s,i): @@ -513,6 +515,7 @@ def cut_line(s,i): s))) return s def add_highlight(s,opts): + """ Add cursor position highlight """ if len(s.strip())==0: cleaned=HL else: