keyboard: Rename the Input Sources shortcuts section to Typing

This way we can add more typing related keybindings here.

https://bugzilla.gnome.org/show_bug.cgi?id=682069
This commit is contained in:
Rui Matos 2012-08-18 19:18:51 +02:00
parent a24f221eeb
commit 4e0bc86e5b

View file

@ -1,7 +1,7 @@
<?xml version="1.0" encoding="UTF-8" ?>
<KeyListEntries group="system"
schema="org.gnome.settings-daemon.plugins.media-keys"
_name="Input Sources">
_name="Typing">
<KeyListEntry name="switch-input-source"
_description="Switch to next source"/>