No `width()` function for widget::text_editor

Relevant docs:

Seems sort of weird that there is a height() function to change the height but no width() to change the width? Is there something I’m missing?

Is it like an internal limitation? Seems like someone just forgot about it lol.

Good catch ned It looks strange to me as well. I went ahead and submitted a merge request and also credit you on the find. Very minor add should be merged pretty quickly