Coding with proportional font is lovely, but sometimes...

Coding with proportional font is lovely, but sometimes you just want a part of text to align properly dammit

Like 1 25 Jan 2023 at 0:42 | Open on merveilles.town

6 comments

@neauoire Would it be a good compromise to have just the digits all the same width in the regular proportional font?

25 Jan 2023 at 0:56 | Open on merveilles.town

@alderwick I've tried that but a label like &hello12 looks really bad, the 1 looks like it's floating in there

25 Jan 2023 at 0:56 | Open on merveilles.town

@neauoire Yeah, it'll do that without strong serifs 😊

25 Jan 2023 at 0:58 | Open on merveilles.town

@neauoire changing the font based on the file contents is an absolutely genius move

25 Jan 2023 at 3:10 | Open on merveilles.town

@karolbelina it feels really nice to use too, I'm very much enjoying this little change atm ^^

25 Jan 2023 at 3:11 | Open on merveilles.town

Job

@neauoire Time to implement your own version of elastic tabstops?

Edit: replied before I saw the video. Your solution looks a lot easier to implement :)

25 Jan 2023 at 7:04 | Open on vis.social