[gnome-shell] (3 commits) Created branch wip/media-keys

From: Giovanni Campagna <gcampagna src gnome org>
To: commits-list gnome org
Cc:
Subject: [gnome-shell] (3 commits) Created branch wip/media-keys
Date: Sat, 10 Nov 2012 16:08:21 +0000 (UTC)

The branch 'wip/media-keys' was created.

Summary of new commits:

  9dd2a46... Main: filter keybindings when the shell is modal
  d886dc1... Prefix keybinding names with 'internal-keybinding-'
  60d87ef... Handle global keybindings in the shell

[Date Prev][Date Next] [Thread Prev][Thread Next] [Thread Index] [Date Index] [Author Index]