Having trouble using themeroller bookmarklet in debian and debian based distributions? This is a fix

Having trouble using themeroller bookmarklet in debian and debian based distributions? This is a fix


Hello,
Congratulations for the release 1.7 of ui!
You have done a great job. I really appreciate your work.
Concerning the themeroller bookmarklet I ran into some trouble with my
firefox under debian.
Within debian firefox is called iceweasel (copyright politics) and so
is its user agent.
In the code of the bookmarklet is only a condition against firefox.
That means any debian user runs into some trouble. To make a long
story short: Debian users - this here should be your fix (a small an
tiny one):
javascript:(function(){if (!/Firefox[\/\s](\d+\.\d+)| Iceweasel[\/\s]
(\d+\.\d+)/.test(navigator.userAgent)){alert('Sorry, due to security
restrictions, this tool only works in Firefox'); return false; }; if
(window.jquitr){ jquitr.addThemeRoller(); } else{ jquitr = {};
jquitr.s = document.createElement('script'); jquitr.s.src = 'http://
jqueryui.com/themeroller/developertool/developertool.js.php';
document.getElementsByTagName('head')[0].appendChild(jquitr.s);} })();
cheers,
Sven