Currently we display code in a single rich text widget, so that we can apply syntax highlighting computed by a package we added.
I think we'll want to render code per line, which allows us to add line numbers on the left, break points and other widgets on the left per line, and also lets us use a lazy scrolling system to avoid building line widgets that are offscreen.
For this ticket, get the existing styled text structured as a lazy scrollable with per-line widgets.
Currently we display code in a single rich text widget, so that we can apply syntax highlighting computed by a package we added.
I think we'll want to render code per line, which allows us to add line numbers on the left, break points and other widgets on the left per line, and also lets us use a lazy scrolling system to avoid building line widgets that are offscreen.
For this ticket, get the existing styled text structured as a lazy scrollable with per-line widgets.