[Desktop-packages] [Bug 1717456] Re: Panel and panel menus don't respond to theme changes

2018-10-02 Thread Daniel van Vugt
Also, my original bug description is invalid. It describes only changing
the Applications theme and not changing the Shell theme.

** Changed in: gnome-shell (Ubuntu)
   Status: Triaged => Opinion

-- 
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to gnome-shell in Ubuntu.
https://bugs.launchpad.net/bugs/1717456

Title:
  Panel and panel menus don't respond to theme changes

Status in gnome-shell package in Ubuntu:
  Opinion

Bug description:
  Panel menus don't respond to theme changes. If I change my theme to
  Adwaita, the panel menus are still Ambiance-themed.

  ProblemType: Bug
  DistroRelease: Ubuntu 17.10
  Package: gnome-shell 3.25.91-0ubuntu5
  ProcVersionSignature: Ubuntu 4.12.0-13.14-generic 4.12.10
  Uname: Linux 4.12.0-13-generic x86_64
  ApportVersion: 2.20.7-0ubuntu1
  Architecture: amd64
  Date: Fri Sep 15 15:31:30 2017
  DisplayManager: gdm3
  InstallationDate: Installed on 2017-05-03 (135 days ago)
  InstallationMedia: Ubuntu 17.10 "Artful Aardvark" - Alpha amd64 (20170502)
  SourcePackage: gnome-shell
  UpgradeStatus: No upgrade log present (probably fresh install)

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

-- 
Mailing list: https://launchpad.net/~desktop-packages
Post to : desktop-packages@lists.launchpad.net
Unsubscribe : https://launchpad.net/~desktop-packages
More help   : https://help.launchpad.net/ListHelp


[Desktop-packages] [Bug 1717456] Re: Panel and panel menus don't respond to theme changes

2018-10-02 Thread Daniel van Vugt
Apparently this is correct. Shell theming is not enabled by default.

To enable it, do:
  1. sudo apt install gnome-shell-extensions
  2. Gnome Tweaks > Extensions > User themes = ON
  3. Gnome Tweaks > Appearance > Shell = whatever

** Changed in: gnome-shell (Ubuntu)
   Importance: Medium => Low

** Changed in: gnome-shell (Ubuntu)
   Status: Confirmed => Triaged

-- 
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to gnome-shell in Ubuntu.
https://bugs.launchpad.net/bugs/1717456

Title:
  Panel and panel menus don't respond to theme changes

Status in gnome-shell package in Ubuntu:
  Opinion

Bug description:
  Panel menus don't respond to theme changes. If I change my theme to
  Adwaita, the panel menus are still Ambiance-themed.

  ProblemType: Bug
  DistroRelease: Ubuntu 17.10
  Package: gnome-shell 3.25.91-0ubuntu5
  ProcVersionSignature: Ubuntu 4.12.0-13.14-generic 4.12.10
  Uname: Linux 4.12.0-13-generic x86_64
  ApportVersion: 2.20.7-0ubuntu1
  Architecture: amd64
  Date: Fri Sep 15 15:31:30 2017
  DisplayManager: gdm3
  InstallationDate: Installed on 2017-05-03 (135 days ago)
  InstallationMedia: Ubuntu 17.10 "Artful Aardvark" - Alpha amd64 (20170502)
  SourcePackage: gnome-shell
  UpgradeStatus: No upgrade log present (probably fresh install)

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

-- 
Mailing list: https://launchpad.net/~desktop-packages
Post to : desktop-packages@lists.launchpad.net
Unsubscribe : https://launchpad.net/~desktop-packages
More help   : https://help.launchpad.net/ListHelp


[Desktop-packages] [Bug 1717456] Re: Panel and panel menus don't respond to theme changes

2018-08-08 Thread Daniel van Vugt
** Tags added: bionic cosmic

-- 
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to gnome-shell in Ubuntu.
https://bugs.launchpad.net/bugs/1717456

Title:
  Panel and panel menus don't respond to theme changes

Status in gnome-shell package in Ubuntu:
  Confirmed

Bug description:
  Panel menus don't respond to theme changes. If I change my theme to
  Adwaita, the panel menus are still Ambiance-themed.

  ProblemType: Bug
  DistroRelease: Ubuntu 17.10
  Package: gnome-shell 3.25.91-0ubuntu5
  ProcVersionSignature: Ubuntu 4.12.0-13.14-generic 4.12.10
  Uname: Linux 4.12.0-13-generic x86_64
  ApportVersion: 2.20.7-0ubuntu1
  Architecture: amd64
  Date: Fri Sep 15 15:31:30 2017
  DisplayManager: gdm3
  InstallationDate: Installed on 2017-05-03 (135 days ago)
  InstallationMedia: Ubuntu 17.10 "Artful Aardvark" - Alpha amd64 (20170502)
  SourcePackage: gnome-shell
  UpgradeStatus: No upgrade log present (probably fresh install)

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

-- 
Mailing list: https://launchpad.net/~desktop-packages
Post to : desktop-packages@lists.launchpad.net
Unsubscribe : https://launchpad.net/~desktop-packages
More help   : https://help.launchpad.net/ListHelp


[Desktop-packages] [Bug 1717456] Re: Panel and panel menus don't respond to theme changes

2017-10-31 Thread Launchpad Bug Tracker
Status changed to 'Confirmed' because the bug affects multiple users.

** Changed in: gnome-shell (Ubuntu)
   Status: New => Confirmed

-- 
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to gnome-shell in Ubuntu.
https://bugs.launchpad.net/bugs/1717456

Title:
  Panel and panel menus don't respond to theme changes

Status in gnome-shell package in Ubuntu:
  Confirmed

Bug description:
  Panel menus don't respond to theme changes. If I change my theme to
  Adwaita, the panel menus are still Ambiance-themed.

  ProblemType: Bug
  DistroRelease: Ubuntu 17.10
  Package: gnome-shell 3.25.91-0ubuntu5
  ProcVersionSignature: Ubuntu 4.12.0-13.14-generic 4.12.10
  Uname: Linux 4.12.0-13-generic x86_64
  ApportVersion: 2.20.7-0ubuntu1
  Architecture: amd64
  Date: Fri Sep 15 15:31:30 2017
  DisplayManager: gdm3
  InstallationDate: Installed on 2017-05-03 (135 days ago)
  InstallationMedia: Ubuntu 17.10 "Artful Aardvark" - Alpha amd64 (20170502)
  SourcePackage: gnome-shell
  UpgradeStatus: No upgrade log present (probably fresh install)

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

-- 
Mailing list: https://launchpad.net/~desktop-packages
Post to : desktop-packages@lists.launchpad.net
Unsubscribe : https://launchpad.net/~desktop-packages
More help   : https://help.launchpad.net/ListHelp


[Desktop-packages] [Bug 1717456] Re: Panel and panel menus don't respond to theme changes

2017-10-31 Thread Daniel van Vugt
** Summary changed:

- Panel menus don't respond to theme changes
+ Panel and panel menus don't respond to theme changes

-- 
You received this bug notification because you are a member of Desktop
Packages, which is subscribed to gnome-shell in Ubuntu.
https://bugs.launchpad.net/bugs/1717456

Title:
  Panel and panel menus don't respond to theme changes

Status in gnome-shell package in Ubuntu:
  Confirmed

Bug description:
  Panel menus don't respond to theme changes. If I change my theme to
  Adwaita, the panel menus are still Ambiance-themed.

  ProblemType: Bug
  DistroRelease: Ubuntu 17.10
  Package: gnome-shell 3.25.91-0ubuntu5
  ProcVersionSignature: Ubuntu 4.12.0-13.14-generic 4.12.10
  Uname: Linux 4.12.0-13-generic x86_64
  ApportVersion: 2.20.7-0ubuntu1
  Architecture: amd64
  Date: Fri Sep 15 15:31:30 2017
  DisplayManager: gdm3
  InstallationDate: Installed on 2017-05-03 (135 days ago)
  InstallationMedia: Ubuntu 17.10 "Artful Aardvark" - Alpha amd64 (20170502)
  SourcePackage: gnome-shell
  UpgradeStatus: No upgrade log present (probably fresh install)

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

-- 
Mailing list: https://launchpad.net/~desktop-packages
Post to : desktop-packages@lists.launchpad.net
Unsubscribe : https://launchpad.net/~desktop-packages
More help   : https://help.launchpad.net/ListHelp