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 Panel closes when selecting different database #1610

Closed
Braunch opened this issue Jul 21, 2016 · 3 comments
Closed

Groups Panel closes when selecting different database #1610

Braunch opened this issue Jul 21, 2016 · 3 comments
Assignees
Labels
Milestone

Comments

@Braunch
Copy link
Contributor

Braunch commented Jul 21, 2016

JabRef version JabRef build from master 21.07.2016 on Ubuntu 14.04 and on Windows 8

Steps to reproduce:

When I...

  1. Have two databases opened
  2. I open the groups panel in the first one
  3. I switch to the second db and open the groups panel too
  4. I switch back to the first one (groups panel is still opened)
  5. I switch to the second db
    ...then the groups panel closes without being manually closed by me.
@Braunch Braunch added bug Confirmed bugs or reports that are very likely to be bugs ui labels Jul 21, 2016
@oscargus
Copy link
Contributor

Have you checked the groups preferences? There may be some combinations there which causes the problem.

@Braunch
Copy link
Contributor Author

Braunch commented Jul 25, 2016

I just saw that this is an option you can set in the preferences:
image

So not really a bug, only a questionable option IMHO.

@matthiasgeiger matthiasgeiger removed the bug Confirmed bugs or reports that are very likely to be bugs label Jul 25, 2016
@simonharrer
Copy link
Contributor

I would simplify this by removing these two options and either the group window is shown, or it isn't, depending on the group toggle status.

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

No branches or pull requests

5 participants