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

Change out use of value() for use of merge() #21

Open
gcanyon opened this issue Jan 17, 2019 · 0 comments
Open

Change out use of value() for use of merge() #21

gcanyon opened this issue Jan 17, 2019 · 0 comments

Comments

@gcanyon
Copy link
Owner

gcanyon commented Jan 17, 2019

Putting this here as a heads up, I'll fill in more details as I work them out.

I think I'm going to replace the use of value() with merge() in list display. I have to work through it to see if it will actually go the way I think and still support filter by text, filter by test, etc. There are two ways to implement this.

Less ambitious
The less ambitious is just to replace the current value() option with a merge() option instead. This allows for easier list display string definition -- once you get the hang of merge() It also makes it much more possible to implement conditional display options: this will succeed as long as 2=2:

put merge("2 then return 3/0 else return 6/2?>")

More ambitious
I may be able to build a single merge() string that will in one step generate the HTML to display in the list view. If so, then that string can be updated only when the actual list display string is updated (i.e. rarely) and thus perhaps speed up overall display in Navigator. I'm not sure how well it will work with folding and filter by test, so I'm not sure about it yet.

None of this is going to happen at least for a week.

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

No branches or pull requests

1 participant