Thanks. The "default" button in the debian build of December 25 was
missing for some reason.
Actually this may be a new bug because changes were made to the color picker. I will have to test further so that the bug does not get propagated to the monthly builds.