Frédéric Donckels

OneNote on Windows 10 64 displays Jetbrains Mono with a huge interline space

15

Some weird metadata somewhere? Jetbrains Mono:  Consolas (just by selecting the text and changing the font): 

because of the version ranges, the plugin cannot be found in the marketplace with the current beta version of IJ

Or at least an option to avoid the notification, if it does not please everyone: - shortcuts for which the focus must be changed manually to be active (for instance,...