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鈥檒l occasionally send you account related emails.

Already on GitHub? Sign in to your account

馃悶 Source editor disappears when deleting all text #1722

Open
austincondiff opened this issue May 17, 2024 · 8 comments 路 May be fixed by #1724
Open

馃悶 Source editor disappears when deleting all text #1722

austincondiff opened this issue May 17, 2024 · 8 comments 路 May be 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 austincondiff added the bug Something isn't working label May 17, 2024
@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 added PRIORITY This issue has priority over other issues. and removed triage needed labels 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 plbstl linked a pull request May 19, 2024 that will close this issue
6 tasks
@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
Contributor

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.

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: 馃搵 Todo
4 participants