##// END OF EJS Templates
color: pass on key error for win32 (issue4298)...
Sean Farley -
r21991:aca13761 stable
parent child Browse files
Show More
@@ -562,8 +562,12 b' else:'
562 562 for l in label.split():
563 563 style = _styles.get(l, '')
564 564 for effect in style.split():
565 try:
565 566 attr = mapcolor(w32effects[effect], attr)
566
567 except KeyError:
568 # w32effects could not have certain attributes so we skip
569 # them if not found
570 pass
567 571 # hack to ensure regexp finds data
568 572 if not text.startswith('\033['):
569 573 text = '\033[m' + text
General Comments 0
You need to be logged in to leave comments. Login now