Add back newline after stage header. Also flush stdout to help with ordering

2020-11-14 14:28:17 +00:00
parent a732525084
commit 4c94e7ef20
1 changed files with 2 additions and 0 deletions
@@ -122,6 +122,8 @@ class Logger:
        identifier = self._fold_group_identifier(name)
        print(fold_start_pattern.format(name=self.active_fold_group_name, identifier=identifier))
        print()
        sys.stdout.flush()
    def _end_fold_group(self):
        if self.active_fold_group_name: