Allow adding options via $JABREF_OPTIONS

Example:
JABREF_OPTIONS="-Dglass.gtk.uiScale=144dpi -Djdk.gtk.version=2" jabref

3 files changed, 10 insertions, 2 deletions

diff --git a/.SRCINFO b/.SRCINFO
index c29061d1009a..917d3c4f5efb 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -15,7 +15,7 @@ pkgbase = jabref
 	source = jabref.sh
 	source = jabref.desktop
 	sha256sums = af0d7c5566aec94ffa8b5912c116956ccf17331e5b46bb5adbd6afeaa85ac230
-	sha256sums = 52f6b327c2019d0f0a57ecd9a5401ae04dde9a80a58490b43f8000caf724e5dd
+	sha256sums = c29242ebb35401b229761328b4e7a3ded81907607ef6af87cff838416599f24d
 	sha256sums = c6c95fc980630bc72bd4adcc93c710702fe4fced3fcb26c3067eea0f3aad5c68
 
 pkgname = jabref
diff --git a/PKGBUILD b/PKGBUILD
index 7b4753e36cd1..90fbededbf50 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -20,7 +20,7 @@ source=(${pkgname}-${pkgver}.tar.gz::https://github.com/JabRef/jabref/archive/v$
         jabref.sh
         jabref.desktop)
 sha256sums=('af0d7c5566aec94ffa8b5912c116956ccf17331e5b46bb5adbd6afeaa85ac230'
-            '52f6b327c2019d0f0a57ecd9a5401ae04dde9a80a58490b43f8000caf724e5dd'
+            'c29242ebb35401b229761328b4e7a3ded81907607ef6af87cff838416599f24d'
             'c6c95fc980630bc72bd4adcc93c710702fe4fced3fcb26c3067eea0f3aad5c68')
 
 # Note on supported Java versions:
diff --git a/jabref.sh b/jabref.sh
index bcd6aa890f91..8322d22bdae5 100644
--- a/jabref.sh
+++ b/jabref.sh
@@ -1,5 +1,12 @@
 #!/bin/bash
 
+# JabRef may need some custom options to work and look properly on certain
+# systems. You can set them via the JABREF_OPTIONS environment variable.
+#     -Dglass.gtk.uiScale=144dpi   scale up the UI to look better on high DPI displays
+#     -Djdk.gtk.version=2          workaround for misbehaving menus, e.g. on i3wm
+# You can for example run JabRef as follows:
+#     JABREF_OPTIONS="-Dglass.gtk.uiScale=144dpi -Djdk.gtk.version=2" jabref
+
 # This script has been created based on the instructions at
 # https://devdocs.jabref.org/getting-into-the-code/guidelines-for-setting-up-a-local-workspace,
 # the output of `./gradlew -d run` and the contents of build/scripts/JabRef in the build
@@ -30,5 +37,6 @@ ROOT=/usr/share/java/jabref
 --add-opens javafx.base/com.sun.javafx.event=com.jfoenix \
 --module-path ${ROOT}/lib \
 --patch-module org.jabref=${ROOT}/resources/main \
+${JABREF_OPTIONS} \
 --module org.jabref/org.jabref.gui.JabRefLauncher \
 "$@"