@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
=> This profile with reblog | Go to ashishgandhi@mastodon.social account This content has been proxied by September (3851b).Proxy Information
text/gemini