Can we increase the margin width? Arguably, when someone zooms in source code text he probably also wants the line numbers and icons to be bigger.
—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.