zed-industries/zed
1
1
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2024-11-07 20:39:04 +03:00
Code Issues Packages Projects Releases Wiki Activity

chore: remove repetitive word (#10923)

Browse Source
This commit is contained in:
hardlydearly 2024-04-24 16:34:32 +08:00 committed by GitHub
parent fbc6e930a7
commit dfd4d2a437
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
crates/terminal/src/terminal.rs
View File

@ -1497,7 +1497,7 @@ fn task_summary(task: &TaskState, error_code: Option<i32>) -> (String, String) {
/// * ignores `\n` and \r` character input, requiring the `newline` call instead
///
/// * does not alter grid state after `newline` call
/// so its `bottommost_line` is always the the same additions, and
/// so its `bottommost_line` is always the same additions, and
/// the cursor's `point` is not updated to the new line and column values
///
/// * ??? there could be more consequences, and any further "proper" streaming from the PTY might bug and/or panic.