| Commit message (Collapse) | Author | Age |
|---|
| | |
|
| |
|
|
|
|
|
| |
Each screen now has its own history and if a workspace is swapped with
another visible workspace, the history between those screens is also
swapped, so this gives a feeling of a kind of persistent history that
follows the screen.
|
| |
|
|
|
|
|
|
|
| |
This change is still experimental, but it is more intuitive that each
screen has its own history because each screen is generally dedicated to
a specific use case.
I'm going to try this on for size, though it is possible that
per-workspace history mighte prove to be more useful. We'll see.
|
| |
|
|
| |
I don't know why it wasn't always persistent ...
|
| | |
|
| |
|
|
| |
GHC left some of the unused imports as `import X ()`
|
| |
|
|
|
| |
This is achieved by using `stack build --ghc-options=-ddump-minimal-imports`
and looking for the *.imports files.
|
| | |
|
| | |
|
| | |
|
| | |
|
| |
|
|
|
|
| |
This time history is being done using a hook to keep track of history.
This means I don't have to manually call pushHistory every time I focus
a new window.
|
| |
|
