Currently, files to run eslint on are specified using globs in the package.json script and .eslintignore: https://github.com/KaTeX/KaTeX/blob/981e3ee0eb737609e99635b77c94271b2367c9b0/package.json#L87 https://github.com/KaTeX/KaTeX/blob/981e3ee0eb737609e99635b77c94271b2367c9b0/.eslintignore#L1-L6

This prevents running eslint out of the box, e.g., eslint . (in the root) or in IDE.

Th

JabRef 5.1--2020-08-26--fd5bc52
Linux 4.9.0-13-amd64 amd64
Java 15-ea

• Mandatory: I have tested the latest development version from http://builds.jabref.org/master/ and the problem persists

A tiny issue: the header of the index column (with the symbol #) does not follow the color scheme of the dark theme. The symbol is black while it should be gray.
See top left-hand corner:
![

When I draw a double line without arrow head, it produces \arrow[r, no head, Rightarrow] but compiling it with latex, I get a double line with head. It looks like the correct option is equal instead of no head, Rightarrow.