Skip to content

Rename "Keyboard" to "Keyboard Shortcuts"

Minor decision made with the Design team; the Keyboard panel actually handles Keyboard Shortcuts, so rename it as such.

This also adds support to adding header widgets to the left side of the headerbar. In the future, this new API can be used by other panels.

Here's how it looks now:

Captura_de_tela_de_2019-05-21_12-49-12

Merge request reports