mirror of
https://github.com/CrystalSplitter/ghcitui.git
synced 2024-09-11 10:55:29 +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 | ||