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

Groups for starred solutions #11

Open
maraf opened this issue Apr 11, 2016 · 4 comments
Open

Groups for starred solutions #11

maraf opened this issue Apr 11, 2016 · 4 comments

Comments

@maraf
Copy link
Member

maraf commented Apr 11, 2016

Add groups for starred solutions and add ordering of starred solutions according to groups. Currently when you have starred solutions across multiple projects, you get solutions mixed alphabetically across projects. This can be little confusing.

@maraf
Copy link
Member Author

maraf commented Apr 11, 2016

Maybe, adding multiple icons for starred items (not only pins, but use of various stars, like in GMail) can solve this issue. In configuration there could be definition for ordering (= importance) of different stars/pins.

@maraf
Copy link
Member Author

maraf commented May 16, 2016

Starred items should keep the order in which starring occurred.

@maraf
Copy link
Member Author

maraf commented Jul 11, 2016

Using Ctrl+Down and Ctrl+Up an user could jump through groups of starred items.

@maraf
Copy link
Member Author

maraf commented Apr 23, 2017

Consider adding management of pinned files to the configuration window.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

1 participant