ajaxorg/ace — pull request #1388 by joelmoss (2013-04-23 14:39:59+00:00)
Title: Configurable default theme

Added a new config option `defaultTheme` to allow us to set a different default than `ace/theme/textmate`.