New web editor gadgets

[Justin B Rye]

Enrico Zini wrote:
> Could it be that your browser is fetching js/debtags.js from the cache
> instead of the website?  You can try to visit the javascript directly:
> http://debtags.alioth.debian.org/js/debtags.js
> then doing some alt/shift/control/??+reload dances and reloading the
> editor again.
> 
> Does it work that way?

Doh!  Yep, it's happy now even without an explicit reload.  Sigh -
things break when I switch browsers, things break when I
deliberately keep the same browser open all day.
-- 
JBR
Ankh kak! (Ancient Egyptian blessing)