mirror of
https://github.com/CrystalSplitter/ghcitui.git
synced 2024-10-26 10:58:12 +03:00
13b8ad8b38
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. |
||
---|---|---|
.. | ||
Ghcid | ||
Loc.hs | ||
NameBinding.hs | ||
Util.hs |