browser/bookmarklet/manifest.json
author Kevin Dangoor <kdangoor@mozilla.com>
Fri, 24 Sep 2010 08:41:45 -0400
changeset 2044 b248b949e9d2b8133dc420a36a00a9297ceb07a0
parent 1992 49305b9412790c64a2463467a268f0f6d573f0b0
permissions -rw-r--r--
adds diff highlighter to the bookmarklet

{
    "plugins": ["embedded", "js_syntax", "diff_syntax", "stylesheet", "html", "whitetheme",
                "bookmarkletui", "templater"],
    "config": {
        "objects": {
            "bookmarkletbar": {}
        },
        "gui": {
            "south": {
                "component": "bookmarkletbar"
            }
        },
        "settings": {
            "tabstop": 4,
            "theme": "white"
        }
    },
    "output_dir": "tmp/bookmarklet/bespin",
    "search_path": [
        "browser/bookmarklet"
    ]
}