It is currently fixed to 16px width, but I guess a setting could be added by someone to fix this.
OTOH it could possibly be interesting to have it dynamically follow the line height by default, so it would feel natural -- and the same could apply to the fold margin. That'd be a little more work, and would probably need to check if it actually works well, but it seems like a good idea from the top of my head.
—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.