Erin Kim
Erin Kim
Would it be possible to have a feature to run different commands depending on the modifier state of the keyboard? For example, I could - swipe left/right to switch workspaces,...
**Is your feature request related to a problem? Please describe.** Since `*` works by keeping track of the number of characters per stroke, and since arrow keys and ctrl +...
### Are you following the right branch? - [X] My Nixpkgs and Home Manager versions are in sync ### Is there an existing issue for this? - [X] I have...
### Are you following the right branch? - [X] My Nixpkgs and Home Manager versions are in sync ### Is there an existing issue for this? - [X] I have...
There was some previous discussion in #480. I would prefer to use a variant of `***` that's aligned as a matter of personal taste. It could also be helpful for...
I don't exactly know what editor features helix would need for a complete agda experience. I'm hoping someone more experienced with agda could help with this. Agda has an issue...
I'm not sure how straightforward this would be to implement. Type hints could be given on hover, or overlaid on the text like this: https://github.com/rust-lang/vscode-rust/issues/374 
### Are you following the right branch? - [X] My Nixpkgs and Home Manager versions are in sync ### Is there an existing issue for this? - [X] I have...
Currently, the flake-parts API has two "layers": - `dream2nix.inputs.`, with the options `source`, `settings`, `inject`, and overrides - `dream2nix.inputs..projects.`, with the options `name`, `version`, `relPath`, `subsystem`, `translator` I think these...
### Summary The behavior of `+left` `+right` `+up` `+down` in select/extend mode is the exact same as in normal mode. I expected these commands to extend my selection in select...