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.

Sign up for GitHub

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

Jump to bottom

Alternate Cursor Location Description #1582

Merged
merged 3 commits into from
Feb 8, 2024
Merged

Alternate Cursor Location Description #1582

merged 3 commits into from
Feb 8, 2024

Conversation

thecoolwinter
Copy link
Collaborator

Description

Adds an alternate cursor location label that appears when holding the option ⌥ key.

Related Issues

  • N/A

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.2024-02-02.at.7.52.13.PM.mov

tom-ludwig
tom-ludwig approved these changes Feb 6, 2024
View reviewed changes
Copy link
Member

@tom-ludwig tom-ludwig left a comment

Choose a reason for hiding this comment

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

Awesome stuff! And thanks for the extra comments.

@thecoolwinter thecoolwinter merged commit 679ead2 into CodeEditApp:main Feb 8, 2024
2 checks passed
@thecoolwinter thecoolwinter added the UI This is UI related label Mar 8, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@austincondiff austincondiff austincondiff left review comments

@tom-ludwig tom-ludwig tom-ludwig approved these changes

@matthijseikelenboom matthijseikelenboom matthijseikelenboom approved these changes

@FastestMolasses FastestMolasses Awaiting requested review from FastestMolasses

Assignees
No one assigned
Labels
UI This is UI related
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@thecoolwinter @austincondiff @matthijseikelenboom @tom-ludwig