ajaxorg/ace — pull request #1747 by hartman (2014-01-02 12:09:42+00:00)
Title: Repair label of themes in themelist.

This was broken after c563f15e93e5a30533f0ef54504649d30b59f034