[galaxy-dev] [hg] galaxy 3411: Fix CheckboxField.is_checked(), which was brok...