Insomnia: [Feature Request] Make @font-default and @font-monospace configurable

Created on 11 Jul 2017  路  13Comments  路  Source: Kong/insomnia

Insomnia Version: 5.5.2
Operating System: all
Summary: Make these constants here insomnia/app/ui/css/constants/fonts.less user-configurable.

accepted good first issue help wanted

Most helpful comment

As noted in #784, this should also include the ability to enable/disable font ligatures.

All 13 comments

Hi @evpav, thanks for the request. Can you provide a reason for this?

A well behaved app should follow system wide font settings, and not use its own unless requested. But there is no good cross platform css expressible solution to this problem, so it seems that having it user configurable is the best choice here.

+1, I'd like to use custom font in Insomnia's text editor.

Any chance for this to be fixed anytime soon?

This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.

up!

This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.

up!

Please do consider making the monospace font family configurable. The current default font on Windows (Consolas) is not a very good programmer's font since it can be hard to distinguish characters like lowercase L (l) and the numeral one (1) at certain font sizes.

consolas-easily-confused-characters

My preferred monospace font is DejaVu Sans Mono, and I always install it when working with Windows. It has the most complete Unicode coverage of the popular monospaced fonts and has clearly distinguishable glyphs for the commonly confused characters "Oo0LlIi1".

Every other development tool I use allows the font to be configured.

So, I have been putting this off for a while because I wasn't aware of an easy way to provide a list of the system fonts that are available. However, I just found this: https://github.com/devongovett/font-manager.

I might not have time to work on this one for a while but if someone else wants to take this on I'd be happy to provide help if needed.

As noted in #784, this should also include the ability to enable/disable font ligatures.

Hmm. There seems to be 2 ways to achieve this:

  1. Using CSS3 variable (instead of LESS variable)
  2. Using less.js and compile CSS directly ~(less preferred)~

@gschier I've finished a crude version of this function implemented, however I took route 1 and changed most CSS reference to font-size/font-family to use var() or calc().
WIll send PR as soon as I finished cleaning up.

Was this page helpful?
0 / 5 - 0 ratings