What’s the general consensus on changing the default to something a little more friendly, like JetBrains Mono, or Monaspace ? It wouldn’t do a ton in the theming space, but I feel like it’d at least make things a bit friendlier than the current iA-Mono default.
If it’d be helpful, I can grab a couple of screenshots of what both of those fonts look in my space.
I’m sure there’s other fonts out there that would be a great fit as well, I just suggested some of the more modern ones that have open licenses, and have decent features that aid readability while still maintaining their monospace-ness.
Some screenshots for comparison I think would be really great. As I mentioned, I’m 100% open to this. If it looks good, the license is MIT compatible I think we can go for it If it’s controversial maybe we can bundle both fonts and allow switching with SETTINGS.
I personally have no problem with the current font… but I love JetBrains Mono as it is my daily choice in the terminal.
So I wouldn’t mind changing to it as the default one.
Ok I think the Jetbrains Mono is a clear improvement. Jetbrains Mono compared to the Monaspace one’s I don’t see a big step up there, they just seem a bit wider?
I voted for Jetbrains Mono, but I also like the current font. If it’s not too much hassle I think it would be good to be able to change the font in SETTINGS.
Yeah, for sure. Currently you can change it with space style (or in settings for versions prior to 0.7.6). The challenge is shipping the font. If the user doesn’t have a font installed on their system, we need to provide the browser a way of fetching it. Currently with iA-Mono, SilverBullet serves it to the client, but that’d be difficult to do with any ad-hoc font.
I wonder if we could provide a way to pick any font from Google fonts? They have quite a few popular monospace fonts (Jetbrains mono, Inconsolata, Roboto Mono, etc.).
Ok. Update on this topic: the switch to Jetbrains mono was made about a week ago on Edge. I’ve been living with that for a few days, and other edge users as well. In the end… I didn’t love it. Many others also weren’t enthusiastic so we rolled it back.