JabRef / JabRef/jabref

adapt sidebar (groups, etc) proportionally relative to window size

Open
#13,402 11 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

component: groups component: preferences component: ui
Dominant language
Java
Stars
4.7k
Forks
3.6k
Avg merge
23h 39m
Merged PRs (30d)
381

Description

Is your suggestion for improvement related to a problem? Please describe.
I'm always frustrated when I move the jabref UI from one large screen to a small screen (screen/monitor) because the width for the sidebar for groups does not adapt to screensize.

Describe the solution you'd like
it would suggest JabRef calculates the proportion of the side bar relative to the window size (when the width is manually changed, store it proportionally). when the window is moved and changed by the OS, then the proportion of the width should also adapt.

see here the "same" window on two screens.

Image
Image

p.s. sorry - i did not know what to search for - across the already existing issue, to be able to link it meaningfully.

Contributor guide

Open the contributing guide

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Research direction

Start in the JabRef desktop UI code that creates the groups sidebar and handles window or divider resizing; the issue does not name specific files or tests. Reproduce the layout on differently sized screens, trace how the sidebar width is stored and restored, and verify that manual resizing and OS-driven window changes preserve the intended proportion.

Written by the indexing model from the issue text.

Assessment

Tech stack
java
Domain
desktop
Issue type
Feature
Difficulty
4/5
Estimated time
3-5 days
Activity status
Active
Clarity
Mostly clear
Newbie friendliness
55/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.