diff --git a/.github/workflows/lint.yaml b/.github/workflows/lint.yaml index fe6a34e5e..203c5d2d0 100644 --- a/.github/workflows/lint.yaml +++ b/.github/workflows/lint.yaml @@ -5,9 +5,10 @@ jobs: runs-on: ubuntu-latest steps: - name: Set up Git repository - uses: actions/checkout@v2 - - name: Lint all files - uses: avto-dev/markdown-lint@v1 + uses: actions/checkout@v4 with: - args: 'README.md' - config: '.markdownlint.yml' + show-progress: '' + - uses: xt0rted/markdownlint-problem-matcher@v2 + - run: | + npm install -g markdownlint-cli + markdownlint **/*.md --ignore node_modules diff --git a/en/installation.md b/en/installation.md index 9d4b3a4eb..ea5619439 100644 --- a/en/installation.md +++ b/en/installation.md @@ -22,8 +22,8 @@ Download it from [downloads.jabref.org](https://downloads.jabref.org). These are * for Windows `JabRef.exe`. * for Linux - - either run`bin/JabRef` - - or `/lib/runtime/bin/JabRef`. + * either run`bin/JabRef` + * or `/lib/runtime/bin/JabRef`. * for Mac, this is the file `JabRef.app`. Be sure to activate "Load and Save preferences from/to jabref.xml on start-up (memory stick mode)" in Options → Preferences → General. @@ -103,7 +103,7 @@ You might need to install an additional font for JabRef to display characters co #### Submenus from the menu bar close immediately after left click is let go of if the menu bar was clicked in its top half -This issue seems to be related to this [JavaFX bug](https://bugs.openjdk.org/browse/JDK-8251240). A temporary workaround is to click the menu bar in its lower half. To fix the issue permanently set the following system property: ```java -Djdk.gtk.version=2```. This can be done globally by adding ```_JAVA_OPTIONS="-Djdk.gtk.version=2"``` to ```/etc/environment```. It can also be set locally by editing `JabRef.cfg` in your installation folder (possibly located at `/opt/JabRef/lib/app/JabRef.cfg`) and add the line `-Djdk.gtk.version=2` in the `[JavaOptions]` section. +This issue seems to be related to this [JavaFX bug](https://bugs.openjdk.org/browse/JDK-8251240). A temporary workaround is to click the menu bar in its lower half. To fix the issue permanently set the following system property: ```java -Djdk.gtk.version=2```. This can be done globally by adding ```_JAVA_OPTIONS="-Djdk.gtk.version=2"``` to ```/etc/environment```. It can also be set locally by editing `JabRef.cfg` in your installation folder (possibly located at `/opt/JabRef/lib/app/JabRef.cfg`) and add the line `-Djdk.gtk.version=2` in the `[JavaOptions]` section. {% endtab %}