ajaxorg/ace — pull request #749 by janjongboom (2012-05-03 14:06:30+00:00)
Title: Update the debug marker in all themes

@fjakobs @sergi @zefhemel