benschwarz / developers.whatwg.org

Used to create the contents of developers.whatwg.org
http://developers.whatwg.org/
198 stars 39 forks source link

[feature req] Provide a toggle to show/hide JS-relevant info #49

Closed oli closed 13 years ago

oli commented 13 years ago

it’d be nice for JavaScripters to be able to get currently hidden JS-relevant info (although I think it should be hidden by default as currently)

benschwarz commented 13 years ago

Did you see the change that I made to the index toc yesterday?

benschwarz commented 13 years ago

Can we call this one "done" now that its visible in the TOC on the index? (also available in search).

So really, not hidden now.

oli commented 13 years ago

yep. done