Soft wrapping to the text area, one of my personal favorite
features, is possible again, by setting the wrap width to zero.
Thank you Slava! I really missed that feature. It's probably the
main reason I started using, testing, and later developing jEdit
4.3.