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

Added ability to focus a single editor #1414

Merged
merged 3 commits into from
Aug 29, 2023

Conversation

austincondiff
Copy link
Collaborator

@austincondiff austincondiff commented Aug 23, 2023

Description

Added focus editor button in the tab bar that is visible only when multiple editors exist. When clicking this button, it hides all other editors. When clicked again, it shows all other editors.

Related Issues

Checklist

  • I read and understood the contributing guide as well as the code of conduct
  • The issues this PR addresses are related to each other
  • My changes generate no new warnings
  • My code builds and runs on my machine
  • My changes are all related to the related issue above
  • I documented my code

Screenshots

Screen.Recording.2023-08-23.at.11.40.41.AM.mp4

Note to reviewers

SwiftLint fixes to unrelated files are in #1412.

Copy link
Collaborator

@thecoolwinter thecoolwinter left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM once swiftlint error is fixed

…ltiple editors exist. When clicking this button, it hides all other editors. When clicked again, it shows all other editors.
@austincondiff austincondiff merged commit 10e8619 into CodeEditApp:main Aug 29, 2023
@thecoolwinter thecoolwinter added the enhancement New feature or request label Dec 23, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

✨ Focus single editor hiding all other editors
4 participants