Update to Code Mirror in the scripts panel #1

Closed
Calvein opened this Issue Nov 20, 2012 · 1 comment

Comments

Projects
None yet
1 participant
Owner

Calvein commented Nov 20, 2012

Planned in January.

Owner

Calvein commented Jan 8, 2013

Done in 4e70189 with the official theme.

@Calvein Calvein closed this Jan 8, 2013

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment