CrystalSplitter
55dfa29ba0
Update README and INSTALL for Hackage
...
This updates some of the docs for Hackage viewing.
2024-01-21 14:59:41 -08:00
CrystalSplitter
9f2bb3c45b
Reorganise modules to create the Ghcitui.Brick module
2024-01-19 01:46:31 -08:00
CrystalSplitter
ec7737ab16
Fix cabal check warnings, update workflow
2024-01-17 01:13:17 -08:00
CrystalSplitter
0672b4d536
Update manual, downgrade official version to 0.0.1
2024-01-17 01:01:51 -08:00
CrystalSplitter
f8d92f8134
Mention git lfs in the install
2024-01-17 01:01:51 -08:00
CrystalSplitter
f9c4af6c68
Add Splash screenshot to README.md
2024-01-17 01:01:51 -08:00
CrystalSplitter
14ec8abeed
Embed splash text directly
2024-01-17 01:01:51 -08:00
CrystalSplitter
f71e79f72f
Use git lfs to store screenshots
2024-01-17 01:01:51 -08:00
CrystalSplitter
80feef1bb4
Fix cabal check warnings
2024-01-15 13:42:37 -08:00
CrystalSplitter
c185629e52
Add cabal check to github workflows
2024-01-15 13:04:18 -08:00
CrystalSplitter
a449f9e64f
Reformat HelpText.hs
2024-01-15 13:04:18 -08:00
CrystalSplitter
9248597e8e
Add start up logging for GHCiD
2024-01-15 13:04:18 -08:00
CrystalSplitter
7976595617
Fix missing keybindings in MANUAL.rst
2024-01-15 13:04:18 -08:00
CrystalSplitter
d09a6d125b
Mark Paths_ghcitui as autogen
2024-01-15 02:12:47 -08:00
CrystalSplitter
09401ec6a1
Add MANUAL generation
...
This is pretty hacky, but does produce very pretty results.
2024-01-15 02:12:47 -08:00
CrystalSplitter
4e533fe4bb
Reorganise modules, clean up formatting
...
This moves the ghcitui libs which don't require Brick to ghcitui-core,
and the other library files to ghcitui-brick.
2024-01-15 02:12:47 -08:00
CrystalSplitter
301446ee85
Give a progress meter at the bottom of the source viewer
...
This is mostly to replace the now missing scrollbar.
The scrollbar is neat, but for now I consider it solely
aesthetic and the real info we want is the total line count
and the current position percentage.
2024-01-15 02:12:47 -08:00
CrystalSplitter
898e00ef76
Add better failure handling in Ghcid.Daemon
2024-01-15 02:12:47 -08:00
CrystalSplitter
fcb6964827
Fix Widget caching on resize
2024-01-15 02:12:47 -08:00
CrystalSplitter
03f4e47efc
Minor formatting fix in BrickUI
2024-01-15 02:12:47 -08:00
CrystalSplitter
13b8ad8b38
Entirely rework the source viewer for more performance
...
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.
2024-01-15 02:12:47 -08:00
CrystalSplitter
fd71610534
Add NamedFieldPuns to default extensions
2024-01-15 02:12:47 -08:00
CrystalSplitter
c6bebb787f
Add section on profiling in CONTRIBUTING.md
2024-01-15 02:12:47 -08:00
CrystalSplitter
bf93aeecda
Clean up Daemon start up and messaging
2024-01-15 02:12:47 -08:00
CrystalSplitter
e4ae716522
Add more detail about navigation in the MANUAL.rst
2024-01-15 02:12:47 -08:00
CrystalSplitter
3661ebbbc7
Wrap around module selections
2024-01-15 02:12:47 -08:00
CrystalSplitter
34e494df37
Add submodule Ghcitui for all library components
...
Potentially, we should re-export the important bits. But for now this
seems to work fine.
2024-01-15 02:12:47 -08:00
CrystalSplitter
d9d3e7c65b
Update MANUAL.rst
2024-01-15 02:12:47 -08:00
CrystalSplitter
2f1ad27a96
Append commands to history only if they are not empty
2024-01-15 02:12:47 -08:00
CrystalSplitter
0b23c2e7e1
Explicitly list exports in app/Util.hs
2024-01-15 02:12:47 -08:00
CrystalSplitter
1ea4e95ba1
Add Help and Exit dialogs
2024-01-15 02:12:47 -08:00
CrystalSplitter
53c3be7c9a
Add module panel event handling/opening
...
This adds the new feature of being able to access the Modules panel
2024-01-15 02:12:47 -08:00
CrystalSplitter
9b632cb00d
Allow resizing of panels
...
This allows the use of +/- to change the panel sizes, like
in PuDB.
2024-01-15 02:12:47 -08:00
CrystalSplitter
17616a4df2
Add the clamp utility in app
2024-01-15 02:12:47 -08:00
CrystalSplitter
6fc70cfb12
Run tests with the fswatch_build.sh
2024-01-15 02:12:47 -08:00
CrystalSplitter
67c5ac0c73
Update docs substantially
2024-01-15 02:12:47 -08:00
CrystalSplitter
3c39f6836a
Support program tracing
...
This is a fairly big feature add, where we now have program tracing
in the info sidebar.
Unfortunately, it's still fairly hard to read in its short space, so I
probably want to think about how to resize or highlight parts of the
info panel?
2024-01-15 02:12:47 -08:00
CrystalSplitter
2331e377b6
Enable MonoLocalBinds by default
2024-01-15 02:12:47 -08:00
CrystalSplitter
f3472f1074
Doc fix/formatting for AppState
2024-01-15 02:12:47 -08:00
CrystalSplitter
74eb4f136b
Update the CLI options/docs with better help
2024-01-15 02:12:47 -08:00
CrystalSplitter
586718e49a
Simplify execMuted
2024-01-15 02:12:47 -08:00
CrystalSplitter
6339be9b46
Rename AIS history to cmdHistory
...
This is just to prevent further naming conflict confusions between
AIS.history and Ghcid.Daemon.trace.
2024-01-15 02:12:47 -08:00
CrystalSplitter
e465cfbd23
Add MANUAL base
2024-01-15 02:12:47 -08:00
CrystalSplitter
652c0493b2
Simplify INSTALL.rst
2024-01-15 02:12:47 -08:00
CrystalSplitter
a4c743f86e
Allow quitting via Esc
2024-01-15 02:12:47 -08:00
CrystalSplitter
cf4b21272c
Clean up Main.hs
2024-01-15 02:12:47 -08:00
CrystalSplitter
88992b7742
Remove deprecated lib/Tui.hs
2024-01-15 02:12:47 -08:00
CrystalSplitter
2f4827780b
Update README.md with more instructions
2023-10-16 00:36:32 -07:00
Jordan R AW
0343ed4731
Update INSTALL.rst
2023-10-15 18:31:13 -07:00
Jordan R AW
dc86fd96b0
Update INSTALL.rst
2023-10-15 18:07:20 -07:00
