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 Menu dividers #143

Open
slimbuck opened this issue Oct 13, 2021 · 2 comments
Open

Support Menu dividers #143

slimbuck opened this issue Oct 13, 2021 · 2 comments
Assignees
@jiajasper
Labels
enhancement New feature or request

Comments

@slimbuck
Copy link
Member

Because they're useful!
@slimbuck slimbuck added the enhancement New feature or request label Oct 13, 2021
@willeastcott willeastcott assigned jiajasper and unassigned vkalpias Dec 23, 2022
@willeastcott
Copy link
Contributor

Assigning to @jiajasper for a design decision on this.

Side note: you'll notice that the Code Editor, for example, does actually have menu dividers, but they're hacked by rendering a 1px border on the bottom of specific elements.

@ellthompson
Copy link
Contributor

Is this different from the current Divider component?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@jiajasper jiajasper

Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
5 participants
@willeastcott @vkalpias @ellthompson @slimbuck @jiajasper