diff options
| author | Josh Rahm <rahm@google.com> | 2020-02-06 15:25:31 -0700 |
|---|---|---|
| committer | Josh Rahm <rahm@google.com> | 2020-02-06 15:25:31 -0700 |
| commit | 8c6abcaebc16c8dd805a3a8f9cc57e35890c3bc5 (patch) | |
| tree | 06bf11d9bd386c4b0ca7f35793d71fa3b5955cac /src/Internal/Marking.hs | |
| parent | 9169597a7dcef8046f415b77e0e6cbad696ff5a2 (diff) | |
| download | rde-8c6abcaebc16c8dd805a3a8f9cc57e35890c3bc5.tar.gz rde-8c6abcaebc16c8dd805a3a8f9cc57e35890c3bc5.tar.bz2 rde-8c6abcaebc16c8dd805a3a8f9cc57e35890c3bc5.zip | |
Multiple changes. Mostly added a prompt to quickly switch between windows by fuzzy-finding them
Diffstat (limited to 'src/Internal/Marking.hs')
0 files changed, 0 insertions, 0 deletions