Fits better material theme, I did not test other themes with it but
we can assume that the background and foreground combination for
region face is correct in most of the themes.
The advantages:
- Always pop at the bottom, never taking whole window. It's convenient
when we need a shell to run some commands, then put it out.
- Can track the directory of current buffer, so we won't have to change
directory to current directory if we want to have a shell to do
something. For example, we can navigate using Dired to a directory, then
open a shell with shell-pop to run some commands.
* `mtt` now reloads test ns before running all tests
* added `mtT` to reload test ns and run focused test
* added `mtr` to reload test ns and re-run failed tests for namespace
The test namespace reloading is a workflow optimization. The alternative
is a minimum of two commands (`SPC m e b` or `SPC m e f` and `SPC m t
t`) in order to re-run a single test. When driving development from
tests, this is onerous at best (and I couldn't think of a good reason
_not_ to reload the test ns).
- display a warning if agda has not been found
- add a micro-state to easily navigate between the goals
- use face-remapping-alist to redefine the faces
- add some missing key bindings
- add support for golden-ratio
- add quick cabal instruction to install agda
- sort key bindings alphabetically
This makes it possible to use the kbd tag. I'm not sure where should
this be in. Feel free to move it around.
Renamed endless to spacemacs
Added fontification to @@html: stuff (could be changed)
This is because the list of snippet dirs had our
~/.emacs.d/private/snippets at the end so it doesn't guess that.
Something must have changed upstream. Also it's better to have our own
custom snippets to be first so as to override the default ones if we
pleased.
