-
-
Notifications
You must be signed in to change notification settings - Fork 3.4k
User-installed font not usable in custom theme CSS #8523
Copy link
Copy link
Closed
Labels
[outdated] type: bugConfirmed bugs or reports that are very likely to be bugsConfirmed bugs or reports that are very likely to be bugsstatus: depends-on-externalA bug or issue that depends on an update of an external libraryA bug or issue that depends on an update of an external library
Metadata
Metadata
Assignees
Labels
[outdated] type: bugConfirmed bugs or reports that are very likely to be bugsConfirmed bugs or reports that are very likely to be bugsstatus: depends-on-externalA bug or issue that depends on an update of an external libraryA bug or issue that depends on an update of an external library
Type
Fields
Give feedbackNo fields configured for issues without a type.
JabRef version
Latest development branch build (please note build date below)
Operating system
Windows
Details on version and operating system
Microsoft Windows 10 Enterprise Version 20H2 (Build 19042.1526)
Checked with the latest development build
Steps to reproduce the behaviour
JabRef 5.6--2022-02-22--d98a603
Windows 10 10.0 amd64
Java 17.0.2
JavaFX 17.0.2-ea+3
It is not possible to use user-wide installed fonts in custom themes as described in the documentation.
On Windows 10, fonts can be installed either for all users (requiring admin privileges) or for a single user, as shown in the picture below.

The option
Installinstalls fonts intoC:\Users\<Username>\AppData\Local\Microsoft\Windows\Fonts, whileInstall for all usersinstalls fonts intoC:\Windows\Fonts.Fonts that are not installed system-wide cannot be used in the user CSS, so the following example does not work:
Steps to reprooduce
Preferences > Appearance > Visual themeAppendix
No response