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

Improve Playground app #8

Merged
merged 5 commits into from Dec 4, 2018
Merged

Improve Playground app #8

merged 5 commits into from Dec 4, 2018

Conversation

magicmatatjahu
Copy link
Member

@magicmatatjahu magicmatatjahu commented Nov 25, 2018 •
edited

  • Add fetch schema from external resource,
  • Add refresh button (fix bug with live-reload schema from editor),
  • Add navbar,
  • Change some data in index.html in playground/public dir (add AsyncApi icons),
  • Fix some bugs.

@magicmatatjahu magicmatatjahu added the enhancement New feature or request label Nov 25, 2018
@magicmatatjahu magicmatatjahu mentioned this pull request Nov 30, 2018
Merged
@magicmatatjahu magicmatatjahu changed the title WIP (Do not merge) Improve Playground app Improve Playground app Dec 4, 2018
@magicmatatjahu magicmatatjahu merged commit 247d33c into asyncapi:master Dec 4, 2018
@magicmatatjahu magicmatatjahu deleted the playground branch December 4, 2018 08:47
@magicmatatjahu magicmatatjahu mentioned this pull request Dec 4, 2018
Closed
@magicmatatjahu magicmatatjahu added the area/playground Related to all activities around Playground app label Dec 9, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@pkosiec pkosiec pkosiec approved these changes

Assignees
No one assigned
Labels
area/playground Related to all activities around Playground app enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@magicmatatjahu @pkosiec