Add back a missing import (needed on Windows)
Whitespace only
Change terminalSize to return a Nothing
Update the changelog
Require the extra library
Docs and whitespace
Move and generalise terminalTopmost to the Platform module
Rename dropPrefix to dropPrefixRepeatedly
Rename the Platform module to Terminal, since that covers all it does
Fix up the test suite
Move the command line options out to Main
Name the test suite so it doesn't clash with Main and can be loaded into ghci
Change the .ghci file so it loads the test suite too
Switch over to extra properly
Refactor terminalSize
More concrete type for runGhcid
Move everything logic related into ghcid
Move the height calculation into main
Default to starting with the height of the console
Whitespace