Dev Fonts
devfonts.gafi.dev
Dev Fonts
1–10 of 342 posts
Re: Dev Fonts
#2Re: Dev Fonts
#3Re: Dev Fonts
#4I 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
#5Re: Dev Fonts
#6What 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.
Like you, I would have expected it to also update the example code to show the actual language.
Re: Dev Fonts
#7More 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?
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
#8What 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
#9(Not affiliated with JetBrains in any way)
Re: Dev Fonts
#10What 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.