Ды и дело не в 12.04, в 11.10 он также предлагает обновить gnome до 3.3.90. Дело в том, что расширения просто ещё не подогнали под эту версию shell.
Кто "он"? Кто предлагает?
В 11.10 офрепах gnome-shell версии 3.2.0. Отсюда и косяки.
Можно подключить ppa:gnome3-team/gnome3, тогда будет нормальная версия, как у всех, 3.2.2.1.
А в 12.04 щас версия gnome-shell 3.3.90, в релизе будет 3.4. Но там тоже придётся подключать рра, чтоб всё по-человечески работало. Официально Убунте плевать на gnome-shell.
Пользователь решил продолжить мысль 16 Марта 2012, 22:37:31:
А кто знает когда будет доступен GNOME 3.4 для Ubuntu?
28 Марта 2012 — GNOME 3.4 Final release
Это и для Ubuntu?
Это для всех.
Подключи ppa:gnome3-team/gnome3 и будет тебе "для Ubuntu".