You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
let outcome = drain(&self.tab,&mut |line| all.push(line.to_string()))?;
83
-
for line in all.iter().skip(self.history_lines){
84
-
on_line(line);
85
-
}
81
+
// Stream lines as they arrive; suppress the first `history_lines` (replayed history, already shown in prior evals) with a counter instead of buffering the whole run.
82
+
let skip = self.history_lines;
83
+
letmut seen = 0usize;
84
+
let outcome = drain(&self.tab,&mut |line| {
85
+
if seen >= skip {
86
+
on_line(line);
87
+
}
88
+
seen += 1;
89
+
})?;
86
90
if outcome.err.is_none(){
87
91
if !self.history.is_empty(){self.history.push('\n');}
0 commit comments