-
-
Notifications
You must be signed in to change notification settings - Fork 1k
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
Update Inspector Sidebar #1334
Update Inspector Sidebar #1334
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
It looks like the syntax highlighting doesn't work when I switch file types. If I switch to another file and go back it seems to work. Is this intended?
Screen.Recording.2023-06-19.at.14.10.13.mov
Ah this is a CETV bug. I've opened a PR for that on that repository. |
The file inspector is not meant to change the app Settings but changes these on a per-file basis. |
I'll change that 👍 |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM, works well. agree that #1334 (comment) should be done before merging :)
A few other things that I might mention before this is merged:
|
Yes the encoding options were removed because they haven't been implemented yet. I've made the changes you mentioned. Demo below: Screen.Recording.2023-06-19.at.11.56.07.PM.mov |
Looks good! I wonder how the file inspector would go back to following the preferred settings after making a change. I'd imagine setting it back to the preferred setting might do this. I wonder what should happen if I set the preferred setting to match the file inspectors. Any thoughts? (this can wait for another PR) Also, please resolve the merge conflicts. 🙂 When you do I can approve. |
@austincondiff That's exactly how it works already. If the inspector's setting is set to the same value as the global setting, the override is set to |
|
Nice work @thecoolwinter! |
Description
IndentOptionView
andTabWidthOptionView
.This PR removes the "Quick Help" menu. Currently, it doesn't perform any function and only serves to confuse users. It can be added back in the future when CodeEdit has some kind of in-app help functionality/user manual.
Related Issues
Checklist
Screenshots
Screen.Recording.2023-06-18.at.11.52.28.PM.mov