-
-
Notifications
You must be signed in to change notification settings - Fork 2.9k
Fix #13402: Make sidebar width proportional to window size and persist across sessions #13405
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
base: main
Are you sure you want to change the base?
Fix #13402: Make sidebar width proportional to window size and persist across sessions #13405
Conversation
@koppor @Siedlerchr Could you please review this PR? It fixes #13402 by persisting the sidebar width proportionally and across sessions. All checks have passed. Thank you! |
Hi @koppor @Siedlerchr 👋 All checks have passed ✅ and I’ve addressed all feedback from Could you please review and approve it when you get a chance? |
|
||
horizontalSplit.setDividerPositions(savedProportion); | ||
|
||
// Subscribe to save user-adjusted sidebar position |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
done!
CHANGELOG.md
Outdated
@@ -9,6 +9,8 @@ Note that this project **does not** adhere to [Semantic Versioning](https://semv | |||
|
|||
## [Unreleased] | |||
|
|||
- Sidebar width now persists across sessions and resizes proportionally to window width [#13402](https://github.com/JabRef/jabref/issues/13402) |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
move to the changed section
@trag-bot didn't find any issues in the code! ✅✨ |
Contributor uses AI-generated responses for communication - #13402 (comment) If there is anything strange in this PR, it is OK to close it. |
Appreciate your reply!! But i want to clarify that all the decisions are
made by me (using an ai tool isn’t bad as all other developers do!
My goal was to improve JabRef..just that
Thank you again for your consideration!
…On Sun, 29 Jun 2025 at 1:38 PM, Oliver Kopp ***@***.***> wrote:
*koppor* left a comment (JabRef/jabref#13405)
<#13405 (comment)>
Contributor uses AI-generated responses for communication - #13402
(comment)
<#13402 (comment)>
If there is anything strange in this PR, it is OK to close it.
—
Reply to this email directly, view it on GitHub
<#13405 (comment)>, or
unsubscribe
<https://github.com/notifications/unsubscribe-auth/A3UVT6ZQ7U4HTJXHZMAWCOT3F6NGPAVCNFSM6AAAAACALJHKNKVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMZTAMJWGM4TKOJXGM>
.
You are receiving this because you authored the thread.Message ID:
***@***.***>
|
Yes. The comments that were posted using your account made the impression that an AI spoke for you. See https://github.com/JabRef/jabref/blob/main/CONTRIBUTING.md#notes-on-ai-usage
Nice. My goal is to have a nice free time project with people makeing the impression they are making proper use of our time. Its Sunday here and I am on the mobile phone only. Thus, no review the next hours. |
Hello! i will glad knowing what's the status of the issue that i was
assigned? Thank you
…On Sun, 29 Jun 2025 at 15:28, Oliver Kopp ***@***.***> wrote:
*koppor* left a comment (JabRef/jabref#13405)
<#13405 (comment)>
Appreciate your reply!! But i want to clarify that all the decisions are
made by me (using an ai tool isn’t bad as all other developers do!
Yes. The comments that were posted using your account made the impression
that an AI spoke for you.
See
https://github.com/JabRef/jabref/blob/main/CONTRIBUTING.md#notes-on-ai-usage
My goal was to improve JabRef..just that
Nice.
My goal is to have a nice free time project with people makeing the
impression they are making proper use of our time.
Its Sunday here and I am on the mobile phone only. Thus, no review the
next hours.
—
Reply to this email directly, view it on GitHub
<#13405 (comment)>, or
unsubscribe
<https://github.com/notifications/unsubscribe-auth/A3UVT67UKJCPQV3SXTBU6ED3F62EFAVCNFSM6AAAAACALJHKNKVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMZTAMJWGUYDSNRRHA>
.
You are receiving this because you authored the thread.Message ID:
***@***.***>
|
Hi, could you take the effort of opening GitHub and checking yourself? You have both the issue link and the PR link, right?
Please understand that some of the maintainers here are very senior developers with many years of experience. They all understand and use AI where it is useful, but they are able to do that because they have the knowledge to identify where it is not useful. To get there, it takes a long road of thinking independently and evaluating decisions. The issue arises when one is not able to evaluate the outcome of AI, and also doesn't understand how dehumanizing it is to communicate using that. In your previous PR, you understood nothing that was written in the mandatory checks section and ticked off everything, yet you claim that decisions were made by you. Usually we close PRs for the reasons mentioned, but the point behind pointing all this out is so that you have another chance and we can have more fruitful exchanges in future, provided you are willing to understand things. Thanks. |
Summary
This PR fixes the issue where the sidebar (
SidePane
) did not retain its width across application restarts. Previously, even if users resized the sidebar manually, the width would reset on every launch. This change makes the sidebar width proportional to the window size and persists the divider position using preferences.Closes #13402
Changes Made
JabRefFrame
to store the sidebar divider position as a proportional value (0.0–1.0) instead of absolute pixels.GuiPreferences
when the sidebar is visible.Steps to test
Mandatory checks
CHANGELOG.md
described in a way that is understandable for the average user (if change is visible to the user)