# Restore accidentally deleted \`EditFileTool::still_streaming_ui_text\` \(\#35871\) · gitcafe/zed

[View on GitCafe](https://git.cafe/gitcafe/zed/commit/8430197df0ffde444c5f4286fc7c22875368709c)

Repository: [gitcafe/zed](https://git.cafe/gitcafe/zed)

Visibility: public

Requested revision: 8430197df0ffde444c5f4286fc7c22875368709c

Requested commit: 8430197df0ffde444c5f4286fc7c22875368709c

Commit: 8430197df0ffde444c5f4286fc7c22875368709c

Tree: f622cf2663bf16cb583536a4922970579fb3c73a

Author: Antonio Scandurra

Committer: GitHub

## Message

```
Restore accidentally deleted `EditFileTool::still_streaming_ui_text` (#35871)

This was accidentally removed in #35844.

Release Notes:

- N/A

Co-authored-by: Ben Brandt <benjamin.j.brandt@gmail.com>
```

## Parents

- [d5c4e4b7b2cb8e9bef1bdc955ffd630d4230e192](https://git.cafe/gitcafe/zed/commit/d5c4e4b7b2cb8e9bef1bdc955ffd630d4230e192?format=markdown)

[Source at this commit](https://git.cafe/gitcafe/zed/tree/8430197df0ffde444c5f4286fc7c22875368709c?format=markdown)