Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.
Ok, true, which suggests having a menu item to turn it on and off quickly and easily, not a preference.
Yes.
Or maybe wrap could be turned on.
I've tried that - see #3834.
—
Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.