Opened 12 years ago
Closed 10 years ago
#7195 closed bug (wontfix)
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.
Change History (4)
comment:1 Changed 12 years ago by
comment:2 Changed 12 years ago by
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)
comment:3 Changed 11 years ago by
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")
- http://forum.jquery.com/topic/themeroller-php-scripts-source#14737000000714050
- http://www.filamentgroup.com/lab/introducing_themeroller_design_download_custom_themes_for_jquery_ui/
- http://forum.jquery.com/topic/themeroller-open-source-it#14737000000491539
- http://blog.jqueryui.com/2010/02/jquery-ui-download-builderthemeroller-status/
But please post here if the source actually is public...
Peter
comment:4 Changed 10 years ago by
Resolution: | → wontfix |
---|---|
Status: | new → closed |
We're no longer supporting the ThemeRoller bookmarklet. Please either use Dave Hoff's Super Theme Switcher or go to the ThemeRoller page directly.
I can confirm that ThemeRoller Dev Tool indeed hasn't been working for past month or so...