Closed nthiery closed 4 years ago
Just did the simplest one with 15c766e2a8ab7e31
For the second: until now properties names list is not a SageExplorer
attribute.
The list of "explorables" (ie objects, not just strings) is an ExplorerProperties
attribute. So the code could be like:
w = explore(42)
[e.name for e in w.propsbox.explorables]
Just did the simplest one with 15c766e2a8ab7e31
Thanks!
For the second: until now properties names list is not a
SageExplorer
attribute. The list of "explorables" (ie objects, not just strings) is anExplorerProperties
attribute. So the code could be like:w = explore(42) [e.name for e in w.propsbox.explorables]
Sounds good.
Current:
Proposal:
Variant:
Side benefits: this could be used for testing.