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

Button to create a group should be in the header #529

Closed
koppor opened this issue Nov 2, 2021 · 2 comments
Closed

Button to create a group should be in the header #529

koppor opened this issue Nov 2, 2021 · 2 comments
Labels

Comments

@koppor
Copy link
Owner

koppor commented Nov 2, 2021

There is much empty space in the header of the groups. Can we add the "New group" button in that pane?

image

@koppor koppor added the UI label Nov 2, 2021
@DavidOWade
Copy link

Can I work on this issue?

@ThiloteE
Copy link
Collaborator

This issue here is just one of multiple competing alternatives to fix JabRef#8398.
@DavidOWade sorry I am not actively monitoring Koppor/JabRef and looks like Koppor failed to make this clear. This issue here is an older proposal and may be outdated.

There was a lengthy discussion in JabRef#8462 with devcall and JabRef#8462 (comment) was the proposed way forward.

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

Successfully merging a pull request may close this issue.

4 participants