Re: Get infos about the theme from an extension

From: deadal nix <deadalnix gmail com>
To: Florian Müllner <fmuellner gnome org>
Cc: gnome-shell-list <gnome-shell-list gnome org>
Subject: Re: Get infos about the theme from an extension
Date: Fri, 17 Apr 2015 11:10:30 -0700

Awesome ! I'm going ot try this.

2015-04-16 23:59 GMT-07:00 Florian Müllner <fmuellner gnome org>:

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.

References:
- Get infos about the theme from an extension
  - From: deadal nix
- Re: Get infos about the theme from an extension
  - From: Florian Müllner

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