shym
shym
Starting with a buffer containing: ``` a | | ``` and running `Tab /|`, I get: ``` a | | ``` as expected. But running it again on the same...
Proposal of a PR to close #177. If you agree with this solution, I could mention the option in the documentation.
In all the possible stategies implemented already in vim-dispatch, I think is missing a combination I’d probably prefer in most cases, namely a mix of headless/Make! (no window show what’s...
`copen` command can take a height option for the quickfix window and, as far as I can tell, that height is preserved until the next explicit invocation of `copen`. Could...
Since `PrintCsyntax` is dual-licensed, I expected it could be used in a GPL project. But according to `tools/modorder .depend.extr cfrontend/PrintCsyntax.cmx` (using opam `coq-compcert` v3.8 package, in case it matters), it...
Fix the regexes used in JumpNext and JumpPrevious functions: since the regexes are written using double-quotes, the backslash for "\{2}" counts must be espaced
This PR proposes a possible fix for #10457. If the plugin directory contains anything but directories that each contain a `META` file, loading plugins fails. This PR proposes to check...
The dune-site plugin system expects all the entries of the plugin directory to be directories, each of which should contain a `META` file. Unfortunately, we can end up with an...
Deadlock observed in a run on trunk Cygwin: https://github.com/shym/multicoretests/actions/runs/4367430739/jobs/7638729550#step:21:764 ``` Wed, 08 Mar 2023 22:46:19 GMT random seed: 366632243 Wed, 08 Mar 2023 22:46:19 GMT generated error fail pass /...
This adds the possibility to compute statistics (count all runs of a property, along with the number of times it fails and the number of times it triggers an exception)...