From 8f109ea371c6c735ef9109e7856dafd6035723e7 Mon Sep 17 00:00:00 2001
From: Derk-Jan Hartman <hartman.wiki@gmail.com>
Date: Thu, 2 Jan 2014 13:04:24 +0100
Subject: [PATCH] Repair label of themes in themelist.

This was broken after c563f15e93e5a30533f0ef54504649d30b59f034
---
 lib/ace/ext/menu_tools/add_editor_menu_options.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/lib/ace/ext/menu_tools/add_editor_menu_options.js b/lib/ace/ext/menu_tools/add_editor_menu_options.js
index fd56859b..0c95e790 100644
--- a/lib/ace/ext/menu_tools/add_editor_menu_options.js
+++ b/lib/ace/ext/menu_tools/add_editor_menu_options.js
@@ -86,7 +86,7 @@ module.exports.addEditorMenuOptions = function addEditorMenuOptions (editor) {
 
     editor.menuOptions.setTheme = themelist.themes.map(function(theme) {
         return {
-            'textContent' : theme.desc,
+            'textContent' : theme.caption,
             'value' : theme.theme
         };
     });
@@ -100,4 +100,4 @@ module.exports.addEditorMenuOptions = function addEditorMenuOptions (editor) {
 };
 
 
-});
\ No newline at end of file
+});