athenian200 618fa768c8 Issue #1757 - Reinstate "dom.details_element.enabled" preference ...

The removal of this preference was botched, all other surrounding plumbing changes appear to be working okay. The ability to use prefs to control this stylesheet might be useful in the future, so perhaps this is one of those "if it ain't broke, don't fix it" bugs where leaving well enough alone in the first place would have been the best choice.

2021-04-02 10:33:54 +08:00

..

all.js

Issue #1757 - Reinstate "dom.details_element.enabled" preference

2021-04-02 10:33:54 +08:00