ajaxorg/ace — pull request #527 by zefhemel (2011-11-23 10:38:21+00:00)
Title: Light/dark theme marker

Adds a marker to every theme saying whether it is a dark or light theme. Based on that, it either attaches an "ace_dark" CSS selector to the root of the editor or not. Useful for styling.

Trivial extension.

@midedeboer or @sergi