As asked for in bug 72374, bookmarklets (javascript bookmarks) should have a different icon than normal bookmarks. I figured out a way to hack the userChrome.css to do just that. See my comments in the bug. This rocks!
As asked for in bug 72374, bookmarklets (javascript bookmarks) should have a different icon than normal bookmarks. I figured out a way to hack the userChrome.css to do just that. See my comments in the bug. This rocks!