3 ms·
I just tried setting white-space to "pre-wrap" and it improves the interface greatly. It still needs a lot of work though to make it pleasant to use.
by mike-cardwell 15y ago
I just tried setting white-space to "pre-wrap" and it improves the interface greatly. It still needs a lot of work though to make it pleasant to use.
- showell30 15y agoThe tool obviously works best with a fairly wide browser window, but patches are more than welcome to improve the CSS, which is obviously kind of primitive. For simple stuff, filing an issue would be great--no need for a full-blown pull request.