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 Dart CodeMirror mode to GitHub mobile repository to allow mobile syntax highlighting. #8391

Closed
DartBot opened this issue Feb 7, 2013 · 2 comments
Labels
area-infrastructure Use area-infrastructure for SDK infrastructure issues, like continuous integration bot changes. P3 A lower priority bug or feature request type-enhancement A request for a change that isn't a bug

Comments

@DartBot
Copy link

DartBot commented Feb 7, 2013

This issue was originally filed by amouravski@google.com


If we had a fully working CodeMirror mode, we could just stick it in here:
https://github.com/github/android/tree/master/app/assets/mode
and then Dart code would be properly formatted on GitHub mobile.

@madsager
Copy link
Contributor

madsager commented Feb 7, 2013

Putting this into area ProjectHosting. Doesn't really belong in any of our current categories.


Added Area-ProjectHosting, Triaged labels.

@DartBot DartBot added Type-Enhancement P3 A lower priority bug or feature request labels Feb 7, 2013
@mit-mit
Copy link
Member

mit-mit commented Sep 1, 2015

Closing as stale, pockethub is no longer an active project.

@mit-mit mit-mit closed this as completed Sep 1, 2015
@mit-mit mit-mit added area-infrastructure Use area-infrastructure for SDK infrastructure issues, like continuous integration bot changes. and removed Area-ProjectHosting labels Sep 1, 2015
@kevmoo kevmoo added type-enhancement A request for a change that isn't a bug and removed triaged labels Mar 1, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
area-infrastructure Use area-infrastructure for SDK infrastructure issues, like continuous integration bot changes. P3 A lower priority bug or feature request type-enhancement A request for a change that isn't a bug
Projects
None yet
Development

No branches or pull requests

4 participants