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.

Sign up for GitHub

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

Jump to bottom

Font size of the preferences dialog does not update with the rest of the GUI. #7416

Closed
1 task done
Landi29 opened this issue Feb 2, 2021 · 2 comments · Fixed by #7509
Closed
1 task done

Font size of the preferences dialog does not update with the rest of the GUI. #7416

Landi29 opened this issue Feb 2, 2021 · 2 comments · Fixed by #7509
Labels
bug Confirmed bugs or reports that are very likely to be bugs

Comments

@Landi29
Copy link
Contributor

Landi29 commented Feb 2, 2021

JabRef version on

If you change the preferred font size of JabRef under preferences/appearance, the font size of the GUI is updated on reload of JabRef, but the font size of the preferences dialog remains the same.

Steps to reproduce the behavior:

  1. Open JabRef.
  2. Press Options, Preferences and then open the Appearance tab.
  3. Change the font size to 12 or 14 as an example.
  4. Save the changes and reload JabRef.
  5. Open the Preferences dialog again. You can see that the font size of this dialog remains the same.
Log File 
Paste an excerpt of your log file here
@Siedlerchr Siedlerchr added the bug Confirmed bugs or reports that are very likely to be bugs label Feb 2, 2021
@Landi29 Landi29 changed the title Font size of the preferences dialog does update with the rest of the GUI. Font size of the preferences dialog does not update with the rest of the GUI. Feb 10, 2021
@Landi29
Copy link
Contributor Author

Landi29 commented Feb 23, 2021

Can anyone post how to get the preferred fontsize in a view? I think that we can just get this value and set the preferred fontsize directly in the dialog xml. Any other suggestions?

XDZhelheim added a commit to XDZhelheim/jabref that referenced this issue Mar 9, 2021
@XDZhelheim
Fix JabRef#7416
fec81da
@XDZhelheim
Copy link
Contributor

I looked into the source code about PreferencesDialog and worked out a solution. It works on my computer (Windows 10) and I will open a PR soon. Hope this will solve your problem.

@XDZhelheim XDZhelheim mentioned this issue Mar 9, 2021
Merged
5 tasks
Siedlerchr pushed a commit that referenced this issue Mar 27, 2021
@XDZhelheim @calixtus
Fix for issue 7416: font size of the preferences dialog does not upda…
1d1156f 
…te with the rest of the GUI. (#7509)

* Fix #7416

* update CHANGELOG.md

* update CHANGELOG.md

* delete a blank line

* delete some whitespace

* delete some whitespace

Co-authored-by: Carl Christian Snethlage <50491877+calixtus@users.noreply.github.com>
Siedlerchr pushed a commit that referenced this issue May 13, 2021
@XDZhelheim
Fix for issue 6966: open all files of multiple entries (#7709)
84c8849 
* Fix #7416

* sync with origin

* core functions implemented

* moved function to OpenExternalFileAction; fixed a bug about checking if there is any linked file present; modified CHANGELOG.md; added javadoc

* remove dialog

* (incomplete) open all linked files of an entry; rewrite the boolean binding; question: open a large number of files

* Dialog: ask user whether to continue when opening more than 10 files

* fixed a bug: wrong position of the codes of dialog

* Modified binding; changed a variable name
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug Confirmed bugs or reports that are very likely to be bugs
Projects
None yet
Milestone
No milestone
3 participants
@Siedlerchr @Landi29 @XDZhelheim