Adding user styles to theme files

tool/Theme.tmpl.css

@@ -145,4 +145,8 @@
 
 .%cssClass% .ace_xml_pe {
   %xml_pe%
+}
+
+.%cssClass% .ace_collab.ace_user1 {
+  %collab.user1%   
 }

tool/tmtheme.js

@@ -83,7 +83,9 @@ var supportedScopes = {
    "variable": "variable",
    "variable.language": "variable.language",
    
-   "meta.tag.sgml.doctype": "xml_pe"
+   "meta.tag.sgml.doctype": "xml_pe",
+   
+   "collab.user1": "collab.user1"
 };
 
 function extractStyles(theme) {   
@@ -116,7 +118,7 @@ function extractStyles(theme) {
             }
         }
     }
-    
+
     return colors;
 };
 

tool/tmthemes/idleFingers.tmTheme

@@ -373,6 +373,19 @@
 				<string>#FFFFFF</string>
 			</dict>
 		</dict>
+		<dict>
+			<key>name</key>
+			<string>User1</string>
+			<key>scope</key>
+			<string>collab.user1</string>
+			<key>settings</key>
+			<dict>
+				<key>background</key>
+				<string>#FFF980</string>
+				<key>foreground</key>
+				<string>#323232</string>
+			</dict>
+		</dict>
 	</array>
 	<key>uuid</key>
 	<string>95BEF169-A2E5-4041-A84A-AAFC1DD61558</string>