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

Support multiple editors #171

Closed
mattgodbolt opened this issue Nov 4, 2016 · 2 comments
Closed

Support multiple editors #171

mattgodbolt opened this issue Nov 4, 2016 · 2 comments
Labels
enhancement in-progress Ongoing work on it ui
Milestone
Monaco Editor & d...

Comments

@mattgodbolt
Copy link
Member

The code supports it, just needs some UI to make it all happen.
@mattgodbolt mattgodbolt mentioned this issue Nov 4, 2016
Closed
@mattgodbolt mattgodbolt added the ui label Jan 12, 2017
@mattgodbolt mattgodbolt mentioned this issue Jan 27, 2017
Closed
@mattgodbolt mattgodbolt modified the milestone: New UI Feb 10, 2017
@mattgodbolt
Copy link
Member Author

Now live in the beta site (though buggy as hell, work in progress)...

@mattgodbolt mattgodbolt mentioned this issue Feb 22, 2017
Closed
@mattgodbolt mattgodbolt added in-progress Ongoing work on it and removed in-progress Ongoing work on it labels Feb 22, 2017
mattgodbolt added a commit that referenced this issue Feb 22, 2017
@mattgodbolt
Fix up multiple editor/compiler problems. See #287, #289, #171, #175
582ab89
@mattgodbolt
Copy link
Member Author

Working pretty well I think.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement in-progress Ongoing work on it ui
Projects
None yet
Milestone
Monaco Editor & diffs
Development

No branches or pull requests
1 participant
@mattgodbolt