Widget TextList: text size doesn't apply

[notEvil]

Hi,

var text_list = ui.addTextList(0, 0, 1, 1)
text_list.textSize(10)
text_list.autoScroll(true)


var count = 0

util.loop(1000, () => {
  text_list.add((count++).toString())
}).start()

gives me

All lines except one are using the default text size. It is semi random which line is using the correct text size. I have no clue why; an implementation based on List works as expected, see https://gitlab.com/notEvil/cyclometer/-/blob/master/PHONK/app/lib/mui.js.

[victordiaz]

oh! I will have a look.
I allocated time next week to do some PHONK work.

By the way, feel free to join the Discord channel in case you wanna have a chat there!

[notEvil]

fixed in #141