touch-packages team mailing list archive

Thread
Date

[Bug 1236749] Re: Gnome shell extensions disabled at every startup

To: touch-packages@xxxxxxxxxxxxxxxxxxx
From: Launchpad Bug Tracker <1236749@xxxxxxxxxxxxxxxxxx>
Date: Sun, 26 Oct 2014 10:33:54 -0000
Reply-to: Bug 1236749 <1236749@xxxxxxxxxxxxxxxxxx>
Sender: bounces@xxxxxxxxxxxxx

Status changed to 'Confirmed' because the bug affects multiple users.

** Changed in: upstart (Ubuntu)
       Status: New => Confirmed

-- 
You received this bug notification because you are a member of Ubuntu
Touch seeded packages, which is subscribed to upstart in Ubuntu.
https://bugs.launchpad.net/bugs/1236749

Title:
  Gnome shell extensions disabled at every startup

Status in Ubuntu GNOME:
  Confirmed
Status in “gnome-shell” package in Ubuntu:
  Confirmed
Status in “upstart” package in Ubuntu:
  Confirmed

Bug description:
  Since gnome-shell 3.10, my extensions are disabled by default at every boot.
  I need to launch Tweak Tool to enable theme by hand every time.

  Both pre-installed extensions ( AlternateTab) and user-installed ones
  (top-icons)

  Step to reproduce :
  Enable an extension in Tweak Tool ( Alternate Tab for example)
  reboot computer,
  open Tweak Tool : Alternate tab is disabled.

  Running on Ubuntu 13.10
  GNOME Shell 3.10.0.1
  gnome-tweak-tool 3.10..0-0ubuntu1-saucy1

To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu-gnome/+bug/1236749/+subscriptions