Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

ValueViewer term naming #57

Open
travitch opened this issue Jun 20, 2020 · 0 comments
Open

ValueViewer term naming #57

travitch opened this issue Jun 20, 2020 · 0 comments
Milestone
Demo 1

Comments

@travitch
Copy link
Contributor

After it is possible to assign names to terms (uniquely identified by their nonces), we can render those names next to terms in the ValueViewer to help provide some structure to often large terms.

  • Render names next to named terms
  • Automatically generate names for function arguments
  • Allow hiding sub-terms for named terms
@travitch travitch added this to the Demo 1 milestone Jun 20, 2020
travitch pushed a commit that referenced this issue Jun 22, 2020
Add infrastructure for letting users specify names for values
5378ff0 
Add the ability for users to name sub-terms in the `ValueViewer` widget. Users can select sub-terms and use a new contextual command to provide a name.  The TUI prompts the user via the minibuffer for the requested name.  The `ValueViewer` has been updated to render names next to relevant terms.

Currently, only terms with nonces can be named.

Fixes #59.  Begins addressing #57.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
Demo 1
Development

No branches or pull requests
1 participant
@travitch