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.

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

Add extmarks inserter #32

Open
wants to merge 9 commits into
base: master
Choose a base branch
from
Open

Add extmarks inserter #32

wants to merge 9 commits into from

Conversation

gpanders
Copy link

Second attempt at an extmarks inserter. I started a new PR instead of simply reopening #31 because apparently GitHub doesn't allow you to change the source branch of a PR, and I didn't want the PR to be against master of my fork.

In my opinion, this implementation is much stronger than the original. It also features live-updating, so that as you type in a value for a variable, all other instances of that variable are updated in real-time.

gpanders added 4 commits July 26, 2021 09:33
When moving backward to a previous variable, don't replace it with its
default value if it's already been resolved. Also reset any unresolved
variables back to their placeholder values.

This commit also contains some minor refactoring and comment additions.
I copied this from the text_markers inserter, but I don't think it's
actually necessary. The anonymous transformations are expanded in the
first called to 'evaluator.evaluate_structure', and since they don't
depend on any other input variables we can go ahead and just expand them
and insert them right at the beginning.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant