Skip to main content

Search and Top Navigation

#7195 closed bug (wontfix)

Opened March 24, 2011 08:52AM UTC

Closed October 05, 2012 12:22PM UTC

ThemeRoller Bookmarklet not working

Reported by: Wnt Owned by: jquery-infrastructure
Priority: minor Milestone: 1.9.0
Component: [meta] ui.themeroller Version: 1.8.11
Keywords: Cc:
Blocked by: Blocking:
Description

The ThemeRoller Bookmarklet hasn't been working in the last few days for me. I found few syntax errors from the

http://jqueryui.com/themeroller/developertool/developertool.js.php

script the Bookmarklet uses. Here is a diff from the original and my patched version of the script:

http://upload.egarden.fi/devtool.patch

With the patched version of the script the Bookmarklet works normally.

Attachments (0)
Change History (4)

Changed August 02, 2011 12:22AM UTC by shehriyari comment:1

I can confirm that ThemeRoller Dev Tool indeed hasn't been working for past month or so...

Changed August 04, 2011 09:53PM UTC by cletusw comment:2

I can also confirm that the bookmarklet from http://jqueryui.com/themeroller/developertool/ does not work, and that the patch provided above fixes it. (Firefox 5.0.1)

Changed February 01, 2012 11:35AM UTC by pmorch comment:3

I can confirm it is still broken. I've created a github gist with the patch from http://upload.egarden.fi/devtool.patch

To use it, put the contents of the patched bookmarklet ( https://raw.github.com/gist/1715924/bookmarklet.js ) in the bookmarklet instead of what you got from the original bookmarklet. To do this, add the bookmarklet to your bookmarks, right-click on it, select Properties, and replace the "Location" field with the contents of the patched bookmarklet link above. (The contents of that link, not just the link)

It links to the patched https://raw.github.com/gist/1715924/developertool.js (see gist git log -p).

The entire gist can be seen at https://gist.github.com/1715924

However, to really fix this, one would need access to the source behind http://jqueryui.com/themeroller/developertool/developertool.js.php , but according to the next couple of links, I don't think that source is public yet. (Even after years of "its being released real soon now")

But please post here if the source actually is public...

Peter

Changed October 05, 2012 12:22PM UTC by scottgonzalez comment:4

resolution: → wontfix
status: newclosed

We're no longer supporting the ThemeRoller bookmarklet. Please either use Dave Hoff's Super Theme Switcher or go to the ThemeRoller page directly.