Re: Get infos about the theme from an extension

From: Florian Müllner <fmuellner gnome org>
To: deadal nix <deadalnix gmail com>, gnome-shell-list <gnome-shell-list gnome org>
Subject: Re: Get infos about the theme from an extension
Date: Fri, 17 Apr 2015 06:59:42 +0000

On Fri, Apr 17, 2015 at 7:43 AM deadal nix <deadalnix gmail com> wrote:

All is in the title. It used to be possible to do Meta.prefs_get_theme() , but since 3.16, that does not work.

Yes, since 3.16 window decorations are drawn according to the GTK+ theme instead of a dedicated format. You can get its name with Gtk.Settings.get_default().gtk_theme_name.

Follow-Ups:
- Re: Get infos about the theme from an extension
  - From: deadal nix

References:
- Get infos about the theme from an extension
  - From: deadal nix

[Date Prev][Date Next] [Thread Prev][Thread Next] [Thread Index] [Date Index] [Author Index]