Fri, September 06, 2002

Bookmarklets are special

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!

Phoenix: bug reports welcome

Asa posted:

Bug reports are wanted. But only if the bug is specific to Phoenix. If it’s a core Mozilla bug that happens to affect Phoenix (like a layout or toolkit bug) then it probably belongs in the appropriate Mozilla component.

He also pointed to the Phoenix Project Page. The readme/FAQ seems to contradict Asa’s comments, so you might take everything with a grain of salt.