Toot

Written by Ashish Gandhi on 2024-08-19 at 07:50

@bbedit Love BBEdit. But it is a bit insane what one has to do to customize the editor font programatically.

This is what I am doing right now: https://github.com/ashishgandhi/dotfiles/commit/56dd05dcbc6f9d625750e9c959ab4597ab9973ed. Is there a better way?

=> More informations about this toot | View the thread | More toots from ashishgandhi@mastodon.social

Mentions

=> View bbedit@mastodon.social profile

Tags

Proxy Information

Original URL: gemini://mastogem.picasoft.net/toot/112987593527022998
Status Code: Success (20)
Meta: text/gemini
Capsule Response Time: 225.114639 milliseconds
Gemini-to-HTML Time: 0.26901 milliseconds

This content has been proxied by September (3851b).