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

controlling API: ExtensionManager should allow access to loaded extensions #209

Closed
SethTisue opened this issue Sep 10, 2012 · 0 comments
Closed

controlling API: ExtensionManager should allow access to loaded extensions #209

SethTisue opened this issue Sep 10, 2012 · 0 comments
Assignees
@SethTisue
Labels
enhancement
Milestone
5.0.3

Comments

@SethTisue
Copy link
Collaborator

there's any anyExtensionsLoaded, but no way to iterate over them

requested by Martin Dobiasch. his use case is in the discussion at https://groups.google.com/d/topic/netlogo-devel/ulxNMOhSQQA/discussion
@ghost ghost assigned SethTisue Sep 10, 2012
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@SethTisue SethTisue

Labels
enhancement
Projects
None yet
Milestone
5.0.3
Development

No branches or pull requests
1 participant
@SethTisue