touch-packages team mailing list archive

Thread
Date

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

To: touch-packages@xxxxxxxxxxxxxxxxxxx
From: Alberto Salvia Novella <es20490446e@xxxxxxxxx>
Date: Mon, 22 Dec 2014 13:06:45 -0000
Reply-to: Bug 1236749 <1236749@xxxxxxxxxxxxxxxxxx>
Sender: bounces@xxxxxxxxxxxxx

** Changed in: upstart (Ubuntu)
   Importance: Undecided => Low

-- 
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