|
@@ -660,7 +660,9 @@ def line_print(line_input):
|
660
|
660
|
platformio_highlights = [
|
661
|
661
|
['Environment', 0, 'highlight_blue'],
|
662
|
662
|
['[SKIP]', 1, 'warning'],
|
|
663
|
+ ['[IGNORED]', 1, 'warning'],
|
663
|
664
|
['[ERROR]', 1, 'error'],
|
|
665
|
+ ['[FAILED]', 1, 'error'],
|
664
|
666
|
['[SUCCESS]', 1, 'highlight_green']
|
665
|
667
|
]
|
666
|
668
|
|
|
@@ -698,14 +700,15 @@ def line_print(line_input):
|
698
|
700
|
found_right = text.find(']', found + 1)
|
699
|
701
|
write_to_screen_queue(text[ : found + 1 ])
|
700
|
702
|
write_to_screen_queue(text[found + 1 : found_right ], highlight[2])
|
701
|
|
- write_to_screen_queue(text[found_right : ] + '\n')
|
|
703
|
+ write_to_screen_queue(text[found_right : ] + '\n' + '\n')
|
702
|
704
|
break
|
703
|
705
|
if did_something == False:
|
704
|
706
|
r_loc = text.find('\r') + 1
|
705
|
707
|
if r_loc > 0 and r_loc < len(text): # need to split this line
|
706
|
708
|
text = text.split('\r')
|
707
|
709
|
for line in text:
|
708
|
|
- write_to_screen_queue(line + '\n')
|
|
710
|
+ if line != "":
|
|
711
|
+ write_to_screen_queue(line + '\n')
|
709
|
712
|
else:
|
710
|
713
|
write_to_screen_queue(text + '\n')
|
711
|
714
|
# end - write_to_screen_with_replace
|