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

Support square / non-rounded selection corners #19891

Closed
1 task done
Demolemon11 opened this issue Oct 29, 2024 · 4 comments
Closed
1 task done

Support square / non-rounded selection corners #19891

Demolemon11 opened this issue Oct 29, 2024 · 4 comments
Labels
duplicate Additional reports of an existing issue

Comments

@Demolemon11
Copy link

Check for existing issues

  • Completed

Describe the feature

Screenshot from 2024-10-29 20-09-37

Screenshot from 2024-10-29 20-09-52

Screenshot from 2024-10-29 20-13-36

If applicable, add mockups / screenshots to help present your vision of the feature

No response
@Demolemon11 Demolemon11 added admin read Pending admin review enhancement [core label] triage Maintainer needs to classify the issue labels Oct 29, 2024
@notpeter
Copy link
Member

Selections in Zed currently have rounded corners. Am I correct that your enhancement request is to add a configuration option for square / non-rounded selections?

@notpeter notpeter changed the title How can I square this selection corner? Support square / non-rounded selection corners Oct 29, 2024
@notpeter notpeter added design [core label] editor Feedback for code editing, formatting, editor iterations, etc and removed triage Maintainer needs to classify the issue admin read Pending admin review labels Oct 29, 2024
@github-actions github-actions bot mentioned this issue Oct 29, 2024
Open
@Demolemon11
Copy link
Author

Exactly right :)

@HeraldOD
Copy link

HeraldOD commented Nov 4, 2024

Is this a duplicate of #14110 ?

@notpeter
Copy link
Member

notpeter commented Nov 4, 2024

Yes, closing as duplicate of:

@notpeter notpeter closed this as completed Nov 4, 2024
@notpeter notpeter added duplicate Additional reports of an existing issue and removed enhancement [core label] design [core label] editor Feedback for code editing, formatting, editor iterations, etc labels Nov 4, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
duplicate Additional reports of an existing issue
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@notpeter @HeraldOD @Demolemon11