diff options
| author | Théo Cavignac <theo.cavignac@ecl16.ec-lyon.fr> | 2019-02-10 12:11:29 +0100 |
|---|---|---|
| committer | w0rp <w0rp@users.noreply.github.com> | 2019-02-10 11:11:29 +0000 |
| commit | d072d2654c68d1c0bf4a1cb8c15c31e989652669 (patch) | |
| tree | 42747f3962720331f24cfabb5fa5c38abd203fd7 /ale_linters/erlang | |
| parent | a24f0b4d5f91f9214c64ae281fadcd981e0dadfc (diff) | |
| download | ale-d072d2654c68d1c0bf4a1cb8c15c31e989652669.zip | |
Supporting filtered jump (#2279)
* Support filtered jump based on loclist item type (E or W for now)
* Use flags to customize the behavior of ALENext and ALEPrevious
* Update <plug> bindings with flags
* Update documentation about ALENext and ALEPrevious
* Use ale#args#Parse in JumpWrap
Diffstat (limited to 'ale_linters/erlang')
0 files changed, 0 insertions, 0 deletions