gcampax / gnome-shell-extensions

A collection of extensions for GNOME Shell (forked from previous repo on git.gnome.org)
GNU General Public License v2.0
19 stars 10 forks source link

[user-theme] Get panel height #6

Open brunelli opened 9 years ago

brunelli commented 9 years ago

Hello! I've an extension, and I use Main.panel.actor.height to get the height of the panel and use on it. The problem is that, when the user has a custom theme, I can't get its height, just the one on the default theme.

E.g.: Default theme has height 20px; Custom theme has height 30px; Custom theme is enabled via user-theme; Main.panel.actor.height returns 20px, instead of 30px.

Is there a way to get the height defined by the user's theme?