jessegrosjean/CodeMirror — pull request #9 by mutahhir (2013-05-29 08:34:02+00:00)
Title: Minor modifications to the addWidget system. Still not completely bug free

Initial draw is messing up a bit, probably because the divs are not yet in place. Will fix.