adds diff highlighter to the bookmarklet
authorKevin Dangoor <kdangoor@mozilla.com>
Fri, 24 Sep 2010 08:41:45 -0400
changeset 2044 b248b949e9d2b8133dc420a36a00a9297ceb07a0
parent 2043 947a0420f4994bdfa0056a90b0a1a389d998b375
child 2045 195674fd2f938d8a5ceac5c0b3f0fbd779257afb
push id921
push userkdangoor@mozilla.com
push dateFri, 24 Sep 2010 12:42:15 +0000
adds diff highlighter to the bookmarklet
browser/bookmarklet/bookmarkletui/templates/bookmarkletbar.htmlt
browser/bookmarklet/manifest.json
--- a/browser/bookmarklet/bookmarkletui/templates/bookmarkletbar.htmlt
+++ b/browser/bookmarklet/bookmarkletui/templates/bookmarkletbar.htmlt
@@ -1,15 +1,16 @@
 <div class="bookmarkletbar" save="${view.element}">
     <div>
         <select save="${view.syntaxSelector}">
             <option value="plain">None</option>
             <option value="js">JavaScript</option>
             <option value="html">HTML</option>
             <option value="css">CSS</option>
+            <option value="diff">Diff</option>
         </select>
     </div>
     <div>
         <select save="${view.themeSelector}">
             <option value="white">White Theme</option>
             <option value="screen">Bespin Theme</option>
         </select>
     </div>
--- a/browser/bookmarklet/manifest.json
+++ b/browser/bookmarklet/manifest.json
@@ -1,10 +1,10 @@
 {
-    "plugins": ["embedded", "js_syntax", "stylesheet", "html", "whitetheme",
+    "plugins": ["embedded", "js_syntax", "diff_syntax", "stylesheet", "html", "whitetheme",
                 "bookmarkletui", "templater"],
     "config": {
         "objects": {
             "bookmarkletbar": {}
         },
         "gui": {
             "south": {
                 "component": "bookmarkletbar"