flense
flense copied to clipboard
mkremins
Edit trees, not text
Type to filter potential jump locations. See matches highlighted in the document as you type. Use left and right keys to jump between locations in the current set of matches....
At the moment, a "placeholder" is really just a special-cased `:atom` whose `:text` happens to be `"..."`. We should probably establish a separate `:type` for placeholders (maybe `:placeholder`, maybe `:hole`)...
When the selection moves from one sexp to another, Flense should check to see if the newly selected sexp is visible in the current viewport. If it is not, the...
This will allow embedders to tell the user exactly which action will be undone or redone when they attempt to undo or redo. It might also enable something like a...
There should be a way for the user to temporarily hide the completions menu when they don't want to see it. Embedders can then make this action available to users...
See e.g. https://github.com/mkremins/double-arrow/commit/58685c2d99fa2ea18b7b053b894b4c7e5d8641c5.
Should contain demonstrations of template expansion, navigation (up/down/left/right), automatic code reformatting, and structural editing. Should also probably crop out extraneous whitespace (and flense-nw UI stuff that Flense alone doesn't provide)...
We've already implemented a fairly robust jump-to-definition feature that makes use of binding-macro awareness. It might be possible to reuse the same underlying functionality to highlight unbound symbols where they...