Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

🐞 Source editor disappears when deleting all text #1722

Closed
austincondiff opened this issue May 17, 2024 · 8 comments · Fixed by #1724
Closed

🐞 Source editor disappears when deleting all text #1722

austincondiff opened this issue May 17, 2024 · 8 comments · Fixed by #1724
Labels
bug Something isn't working PRIORITY This issue has priority over other issues. source editor

Comments

@austincondiff
Copy link
Collaborator

austincondiff commented May 17, 2024

Description

Deleting all text from the source editor results in the source editor being replaced by a QuickLook view.

To Reproduce

  1. Open a project
  2. Open a file in the project
  3. Delete all of the text in the file
  4. Notice the source editor is replaced by a big file icon (QuickLook view)

Expected Behavior

The source editor should remain in place.

Screenshots

Screen.Recording.2024-05-17.at.2.59.54.PM.mov

Related issues

@austincondiff
Copy link
Collaborator Author

austincondiff commented May 17, 2024

@plbstl I believe this was introduced in your recent PR #1707. Would you be able to take a look at this one?

@austincondiff austincondiff moved this from 🆕 New to 📋 Todo in CodeEdit Project May 17, 2024
@austincondiff austincondiff added the PRIORITY This issue has priority over other issues. label May 17, 2024
@plbstl
Copy link
Contributor

plbstl commented May 18, 2024

I see. I'm taking a look at it now

@thecoolwinter
Copy link
Collaborator

Whoops, didn't see @plbstl was taking a look. I've got a PR open for this now it was a very small fix.

@plbstl
Copy link
Contributor

plbstl commented May 19, 2024

Oh okay. I'll also test it out

@plbstl
Copy link
Contributor

plbstl commented May 19, 2024

I found some issues with #1723.

Doesn't work for:

  • files without file extensions
  • files with only file extensions

Also, it opens some binaries as text files.

pr-1723.mov

@plbstl
Copy link
Contributor

plbstl commented May 19, 2024

This is what #1724 looks like:

pr-1724.mov

@FastestMolasses
Copy link
Member

Good catch, does this PR replace the other one entirely?

@plbstl
Copy link
Contributor

plbstl commented May 21, 2024

Yes it does. They are both minor changes.

@github-project-automation github-project-automation bot moved this from 📋 Todo to 🏁 Complete in CodeEdit Project Jun 22, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working PRIORITY This issue has priority over other issues. source editor
Projects
Status: 🏁 Complete
4 participants