Rename the layer to idris-lang because idris-packages variable is used
by the package
Update key bindings to better fit spacemacs conventions
Convert markdown README to org
This removes idris-mode from the extra-langs layer and moves it to its
own layer with custom evil-leader keybindings. It also removes
documentation in extra-langs on other removed languages.
There are two major complications with idris-mode: it defines its own
evil-leader bindings which overwrite Spacemacs defaults, and it uses
the variable idris-packages, which Spacemacs uses to include the
idris-mode package, to define Idris packages to load for the current
buffer.
So if called using the universal argument or with a parameter yes is
assumed to the question to update packages. Useful for calling Emacs
in batch mode to update Spacemacs.
- Use compile instead of shell for cargo. This allow Emacs to parse the
output, including all the errors :)
- Added support for Racer (it works for me at least... hopefully for
others too)
Signed-off-by: JP-Ellis <coujellis@gmail.com>
This commit drastically simplify the previous commit by removing
the layer variable syntax-checking-check-on-buffer-change and
the associated usage of it.
This effectively make spacemacs use the default flycheck setting.
If the user wants to customize this behavior then she can modify
directly the flycheck variable.
Add a variable `syntax-checking-check-on-buffer-change` to the
`syntax-checking` layer which conditionally sets the variable
`flycheck-check-syntax-automatically` to:
- `'(save mode-enabled)` when nil
- `'(save idle-change new-line mode-enabled)` (the package default)
when non-nil
The various settings determine when Flycheck evaluates the buffer:
- `save` triggers a buffer check after buffer save.
- `mode-enabled` triggers a buffer check when `flycheck-mode` is
enabled.
- `idle-change` triggers a buffer check after the editor has been idle
for `flycheck-idle-change-delay`
- `new-line` triggers a buffer check whenever a new line is inserted
into the buffer
