@leocg I didn't take any screenshots, but my experience was identical to Andrew's. That is, the flag for redesign indicated that Enabled was the default prior to my selection of Disabled. When I restarted Opera after making the change, however, it was Disabled that was marked as the default.
Still, this is pretty trivial stuff.