A user reports:

-----------------------------------------
I for one often use 3 character hex codes, and the widget converting things like 333 to 333000 (which are both valid, but very, very different) was annoying me.

Despite my very limited knowledge of Javascript (XHTML/CSS/XML/PHP/MySQL is my area), I ended up patching it.

Here's what I add after the first if in hexwatcher():

else if (length == 3)
{
newval = newval.substr(0, 1) + newval.substr(0, 1) + newval.substr(1, 1) + newval.substr(1, 1) + newval.substr(2, 1) + newval.substr(2, 1);
}

I may have done something completely stupid in that coding, but hey, it works :)
-----------------------------------------

Thank you for your bug report. This issue has been closed and fixed in Subversion. This change will be available in a future release, but you can download the change at any time from the Subversion server.