You need to log in before you can comment on or make changes to this bug.
The DEFAULT attribute is only defined in the Button attribute group, but it appears in the NavButton documentation. DEFAULT is not an attribute of NavButtons.