Missing space when inserting new filter
Created by: eseliger
- Sourcegraph version: master
- Platform information: sourcegraph.com
Steps to reproduce:
- Enter some repo filter
- Press space
- Type 'l'
- Choose
langfilter from suggestions - See it works correctly
- Remove lang filter again
- Add space after repo filter
- Use ctrl + space to get suggestions (I think there is some unnecessary delay here also, but just very minor)
- Choose
langagain
Expected behavior:
The filter is added and works
Actual behavior:
It is added by removing the space, hence it's invalid
