joemccann/dillinger — pull request #235 by swang (2014-09-12 07:38:29+00:00)
Title: Updating Ace Editor

Update version to "2014.08.17 Version 1.1.6" of Ace Editor.

This adds new themes and fixes bugs in Ace

Fixes #233

Also had to create a CSS hack so that all the themes are viewable (made dropdown in 300px scrollable div)
![new_themes_dropdown](https://cloud.githubusercontent.com/assets/49867/4246758/ad29954c-3a4f-11e4-85bb-dd6ee54104dd.png)