See the mockup

We should add a cog button that display a doorhanger menu, that will hold the console options.

At first, it should only have the "Enable timestamp" option (and the webconsole section in the settings panel should be removed).

As discussed on Slack, I would like to take this up.

Thanks a lot Phoenix, the bug is assigned to you now :)

Unassigning as discussed on Slack

Hi Nicolas, I would like to take this bug.

Thanks Armando, it's yours!
You can take some inspiration on the accessibility panel which has exactly the same kind of UI we want to have in the console: devtools/client/accessibility/components/AccessibilityPrefs.js

Backed out changeset 03643a08fe82 (bug 1523868) for Node failure in Unexpected token y in JSON at position 0. CLOSED TREE

Log:
https://treeherder.mozilla.org/logviewer.html#/jobs?job_id=271332845&repo=autoland&lineNumber=845

Push with failures:
https://treeherder.mozilla.org/#/jobs?repo=autoland&group_state=expanded&selectedJob=271332845&revision=03643a08fe828fd3303e3023e157cba78db2f810

Backout:
https://hg.mozilla.org/integration/autoland/rev/4919d1f95752be8626b55eeab03c90193fb354f6

Backed out changeset 7f353853da83 (bug 1588793) as requsted by the dev. CLOSED TREE

Backout:
https://hg.mozilla.org/integration/autoland/rev/c991f3b3466e8cedfcdcbd9f1a24c6d8d3c30c0b

https://hg.mozilla.org/mozilla-central/rev/a58b1f879571

Ooop, I just noticed this one! To document this, I've overhauled the main "Opening the console" page to cover these options:

https://wiki.developer.mozilla.org/en-US/docs/Tools/Web_Console/Opening_the_Web_Console#Toolbar

Let me know if you'd like anything else here. Thanks!

Thanks Chris, that looks good to me! (and thanks for the updated screenshots)