Removed duplicate lines for plural forms, as no longer needed.
Previously you could end up with unresponsive GNOME Shell. Silently ignore errors if popModal() doesn't work, as a precaution. Keep track of our ModalDialog status more strictly. Improve rapid opacity changes.
GNOME Shell disables all extensions as the ScreenShield is activated.
Keybinder identifies its records by property names from gsettings, so it should be unique.
Support for Gnome 3.6
Gnome Shell now uses Screen Shield instead of Screen Saver, which is a fallback if there is no gdm running. Adjusted to several API changes.
Non-blocking notification dialog