Live data from Hacker News

Dev Fonts

devfonts.gafi.dev

1–10 of 342 posts

Re: Dev Fonts

#2
What exactly is "Language" supposed to do? When I change it, it seems to only change the theme of the code, not the actual code itself.

Re: Dev Fonts

#4
Very nice!

I tend to use tiny sized font and I don't see any option to change font size. I'm always surprised by the huge default font size in text editors and IDEs.

So I ask: Is there such a "standard" dev font size every dev uses and no one complains?

Re: Dev Fonts

#5
More and more often, I see ligatures being used on such fonts. E.g. === or != are combined in a visually single character. Personally, I don't like that at all as I think it makes code less readable. It is probably something that you can get used to. But what exactly is the appeal of it anyway?

Re: Dev Fonts

#6
post #2

What exactly is "Language" supposed to do? When I change it, it seems to only change the theme of the code, not the actual code itself.

It changes the syntax highlighting rules to reflect the specified language.

Like you, I would have expected it to also update the example code to show the actual language.

Re: Dev Fonts

#7
post #5

More and more often, I see ligatures being used on such fonts. E.g. === or != are combined in a visually single character. Personally, I don't like that at all as I think it makes code less readable. It is probably something that you can get used to. But what exactly is the appeal of it anyway?

Well I guess the idea is that the ligatures represent the concepts that the combination of symbols are trying to represent.

Also it looks pretty If you're staring a text editor for 8+ hours a day, it is important what you are staring at is pleasing to you.

Re: Dev Fonts

#8
post #2

What exactly is "Language" supposed to do? When I change it, it seems to only change the theme of the code, not the actual code itself.

It's the syntax highlighting (you can copy paste your own code over the code thats there)

Re: Dev Fonts

#10
post #2

What exactly is "Language" supposed to do? When I change it, it seems to only change the theme of the code, not the actual code itself.

[deleted]
Post reply on HN