bn-peters
bn-peters
### What did you expect to happen? Opening a .v file (e.g. []) takes a long time. ### What actually happened? . ### Describe your attempts to resolve the issue...
**Expected behavior:** Assigning `g:UltiSnipsExpandTrigger` to `` should work fine. **Actual behavior:** Using the shortcut with no available completion before inserts ``. **Steps to reproduce** .vimrc (using plug.vim): ``` call plug#begin()...
Hi, I have snipmate snippets of the form ``` snippet Delta Δ ``` and would like to expand them inside a partial word, i.e. I want `HDelta` to expand to...
I would like to globally (or even dynamically) adjust the Printing Width (`Set Printing Width 100`). Unfortunately `:Coq Set Printing Width 120` doesn't always seem to persist: When I execute...