You are looking at preliminary documentation for a future release.
Not what you want? See the
current release documentation.
Settingsedit
Console has multiple settings you can set. All of them are available in the Settings panel. To open the panel click on the cog icon on the top right.