My 2ct:
Because you, @b4n, have done all that work already, I would love to have the UI, and I think the same as you about people using it.

But a possible problem arising from this just came to my mind:
What happens when the setting is set to, say, 30 and the editor pane can only show, say, 40 lines?

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.