James Fraser-Jones comments

Repositories
Issues
Comments

Results 2 comments of


                                            James Fraser-Jones

Ctrl-X doesn't work as cut with agda-mode

This is also causing an issue for me. From looking at the bindings, it seems the culprit is: ``` { "command": "agda-mode.lookup-symbol", "key": "ctrl+x ctrl+=", "when": "agdaMode && !terminalFocus" }...

Better tools for working with dynamic collections of components

I've been using Bevy and Rust for a few days and have bumped into exactly this issue. I'm wondering if there are any new potential solutions.