The version of flow-typed for Jest is v24.x.x, but we use v26.

There is two ways to access the window "Manage external file types":

1. Options -> Manage external file types
2. Options -> Preferences, tab External programs, button "Manage external file types"

Considering the management of external file types is seldom, I suggest to keep only the second way. Moreover, it helps in having all the preferences in the Preferences window.

JabRef 5.2--2020-10

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.

Environment

• TeXstudio: 2.12.10
• Qt: 5.8.0
• OS: Windows 7
• TeX distribution: miktex

How to reproduce

The options menu contains the commands "Load Profile..." and "Save Profile...".
These commands should be described in Help->"User Manual", but they aren't.