Landed a new gutter for Builder (the gutter is where line numbers, icons, etc live). We wanted something more dense than what we could get with out-of-the-box GtkSourceView components.
I think it looks pretty good now.
It's also faster at rendering.
@hergertme it looks beautiful! 😍
Follow friends and discover new ones. Publish anything you want: links, pictures, text, video. This server is run by the main developers of the Mastodon project. Everyone is welcome as long as you follow our code of conduct!