From 89702bf60673c16348f3dcef78c53dad5b7a6b3b Mon Sep 17 00:00:00 2001
From: Adam Roben <adam@roben.org>
Date: Thu, 20 Nov 2014 10:56:57 -0500
Subject: [PATCH] Make tmtheme.js handle elements with no settings

We just ignore them now rather than throwing an exception.
---
 tool/tmtheme.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tool/tmtheme.js b/tool/tmtheme.js
index 7cf49137..47d6e40d 100755
--- a/tool/tmtheme.js
+++ b/tool/tmtheme.js
@@ -106,7 +106,7 @@ function extractStyles(theme) {
 
     for (var i=1; i<theme.settings.length; i++) {
         var element = theme.settings[i];
-        if (!element.scope)
+        if (!element.scope || !element.settings)
             continue;
         var scopes = element.scope.split(/\s*[|,]\s*/g);
         for (var j = 0; j < scopes.length; j++) {