[gnome-shell/datetime: 11/12] Merge branch 'master' into datetime

[David Zeuthen <davidz src gnome org>]

commit 2f52b87451389a14ade5f099e86ec80fdc8d661a
Merge: ba5a280 df35601
Author: David Zeuthen <davidz redhat com>
Date:   Thu Jan 20 13:11:13 2011 -0500

    Merge branch 'master' into datetime

 js/ui/environment.js          |    2 -
 js/ui/overview.js             |   19 ++-
 js/ui/search.js               |    4 +-
 po/ar.po                      |  291 ++++++++++++++++++++++++++---------------
 po/es.po                      |  128 +++++++++---------
 src/Makefile-st.am            |    1 +
 src/Makefile.am               |    2 +
 src/gnome-shell-plugin.c      |    3 +
 src/gnome-shell.in            |   13 ++-
 src/shell-a11y.c              |  165 +++++++++++++++++++++++
 src/shell-a11y.h              |   32 +++++
 src/st/st-label.c             |  102 ++++++++++++++
 src/st/st-widget-accessible.h |   76 +++++++++++
 src/st/st-widget.c            |  205 +++++++++++++++++++++++++++++
 src/st/st-widget.h            |    2 +
 15 files changed, 863 insertions(+), 182 deletions(-)
---