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

Improve caret of option groups #1234

Merged
merged 9 commits into from
Jul 9, 2022
Merged

Conversation

s-eckard
Copy link
Collaborator

@s-eckard s-eckard commented Jun 3, 2022

No description provided.

fabian-steinberg and others added 9 commits March 18, 2022 14:09
…roup

- The caret in the group header will now rotate downwards if the group has been uncollapsed and rotate back to its default position to the right otherwise.
- Also changed in this commit is the way the cursor looks when it is hovered over the group header. It is now a pointer to show the user that the whole header is in fact clickable.
… caret for (un-)collapsing group now on the left of the group text

- The caret for toggling the collapse and uncollapse of the group should now be slightly bigger and therefore easier to use on smaller mobile devices
- The caret also has been moved to the left of the header text, which should give it a bit more structure and make the dimensions of where you can click to collapse and uncollapse the group more obvious
- There is now multiple indents based on whether the group is selectable or not, because otherwise the indent would be too little and it would be hard to make out where a group begins and ends
@davidstutz davidstutz merged commit 7d36773 into davidstutz:master Jul 9, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants