mirror of
https://github.com/SpaceVim/SpaceVim.git
synced 2025-01-23 13:10:04 +08:00
Fixed regex in SpaceVimFlyGrep syntax file (#2363)
* Fixed regex in SpaceVimFlyGrep syntax file Second number (column?) may not be presented in the FlyGrep output. * Following-HEAD.md: Added FlyGrep syntax fix
This commit is contained in:
parent
4d8176fbe2
commit
ad934b5d99
@ -4,5 +4,5 @@ endif
|
|||||||
let b:current_syntax = 'SpaceVimFlyGrep'
|
let b:current_syntax = 'SpaceVimFlyGrep'
|
||||||
syntax case ignore
|
syntax case ignore
|
||||||
|
|
||||||
syn match FileName /[^:]*:\d\+:\d\+:/
|
syn match FileName /[^:]*:\d\+:\(\d\+:\)\?/
|
||||||
hi def link FileName Comment
|
hi def link FileName Comment
|
||||||
|
@ -39,6 +39,7 @@ The next release is v1.0.0.
|
|||||||
- Fix dein-ui error, add syntax ([#2352](https://github.com/SpaceVim/SpaceVim/pull/2352), [`c9e1d4c`](https://github.com/SpaceVim/SpaceVim/commit/c9e1d4c9635c483bb3334c00ed36026d18950070))
|
- Fix dein-ui error, add syntax ([#2352](https://github.com/SpaceVim/SpaceVim/pull/2352), [`c9e1d4c`](https://github.com/SpaceVim/SpaceVim/commit/c9e1d4c9635c483bb3334c00ed36026d18950070))
|
||||||
- Fix fullscreen key binding ([#2351](https://github.com/SpaceVim/SpaceVim/pull/2351))
|
- Fix fullscreen key binding ([#2351](https://github.com/SpaceVim/SpaceVim/pull/2351))
|
||||||
- Added missed syntax for detached FlyGrep ([#2353](https://github.com/SpaceVim/SpaceVim/pull/2353), [`08d0713`](https://github.com/SpaceVim/SpaceVim/commit/08d0713c4494ca401942a6ca10a48a1ac8484ce1))
|
- Added missed syntax for detached FlyGrep ([#2353](https://github.com/SpaceVim/SpaceVim/pull/2353), [`08d0713`](https://github.com/SpaceVim/SpaceVim/commit/08d0713c4494ca401942a6ca10a48a1ac8484ce1))
|
||||||
|
- Fix FlyGrep syntax to support different outputs ([#2363](https://github.com/SpaceVim/SpaceVim/pull/2363), [`0b26f40`](https://github.com/SpaceVim/SpaceVim/commit/0b26f407d879427505418f5c3b4c1d753f3f4317))
|
||||||
|
|
||||||
### Removed
|
### Removed
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user