Julian Berman
Julian Berman
### Feature Description Hey. I like the behavior of `completeopt=longest` generally, namely that if I have: ``` ford foobar foobaz ``` and I type ``` foo ``` I want to...
**Brief Description** JSON Schema is a rich language for expressing constraints on JSON data. If we strictly consider JSON Schema validation (rather than any other use of JSON Schema), in...
**What's the problem this feature will solve?** On the rare case that a project is deleted entirely from PyPI, a user's scoped API token(s) to that project still remain present...
Hi, thanks for what seems like a great plugin. It'd be nice if there was an easy way of disabling mappings. Specifically, after installing the plugin, I expected one of:...
The README already [shows](https://github.com/pypa/build?tab=readme-ov-file#uv) how to use `build` with `uv`, but does so assuming someone's also using `pipx`. Given that `uv` has functionality which overlaps with `pipx`, is it perhaps...
**Is your feature request related to a problem? Please describe.** I cannot figure out if I can prevent orbstack from trying to create files in my home directory (and instead...
Hi! Thanks for putting this out there (like all the rest of your work it's awesome! I'm evaluating using it for a class this semester.) If I haven't missed it,...
I see the context functionality has again changed -- specifically `#buffers` was removed, and the suggestion it appears is to use one of the other context control mechanisms. To me...
### Prerequisites Please put an X between the brackets as you perform the following steps: * [x] Check that your issue is not already filed: https://github.com/leanprover/lean4/issues * [x] Reduce the...
We should instead skip any mapping which is bound. E.g. we bind `c` in infoviews, which conflicts with my existing mapping for the key.