mirror of
https://github.com/CrystalSplitter/ghcitui.git
synced 2024-09-11 10:55:29 +03:00
This is a massive fundamental TUI change. Because Brick Viewports are too slow to render large source files with tens of thousands of widgets, we need to use a slice-able data structure to contain this info. This is where SourceWindow comes in, which efficiently displays the source code as a custom widget. This is based on Brick.List, though slightly different because Brick.List also doesn't meet our needs. |
||
---|---|---|
.. | ||
Ghcitui |