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 basic support for client extensions. Closes #780 #1104

Merged
merged 24 commits into from
Nov 19, 2020

Conversation

brollb
Copy link
Collaborator

@brollb brollb commented Oct 12, 2020

This is a very minimal framework for client extensions that is using an autograder as a motivating example. There are a few remaining questions/tasks before this could be merged:

  • Should we expose a custom endpoint with "official" extensions and make them able to be loaded from within the environment? Currently the autograder is hard coded but this is certainly not ideal.
  • load extensions via URL
  • add custom blocks to the extension API?

@brollb
Copy link
Collaborator Author

brollb commented Oct 12, 2020

A few more thoughts (some of these would probably be best to have in their own PR):

  • Configure extensions via URL (custom autograders)
  • autograde tasks like "draw a square/house" or "ticking clock"
    • how to track state in a way that is invariant to some aspects but not others...
  • Custom/additional stages
  • additional tabs

@brollb brollb marked this pull request as ready for review November 19, 2020 20:29
@brollb brollb merged commit 20f7375 into master Nov 19, 2020
@brollb brollb deleted the 780-client-extensions branch November 19, 2020 20:30
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