You are not logged in.
Pages: 1
Topic closed
Hello I just want to know how to make these to panel plugins smaller...
This is the Pulseaudio Plugin and the Power Manager Plugin.
Thanks for any help!
Last edited by Hacksaurus_Babu (2017-04-27 23:47:28)
Offline
It might not be a solution but if you change the panel height, icons will scale accordingly.
Offline
That would work, but I want to be able to change the size of the icon at any panel height...
Offline
Since those are both GTK3 plugins, something like this in ~/.config/gtk-3.0/gtk.css might work:
.xfce4-panel
button {
padding: 6px 6px;
}
...adjust 6px to suit.
Note1: it will affect all GTK3 buttons in the panel.
Note2: the space has to be available for the padding or the icon will clip.
Edit: Restart the panel for it to take effect: "xfce4-panel -r".
Last edited by toz (2017-01-24 14:30:21)
Online
What do mean panel buttons? Does that mean launchers too? I just wanted those 2 plugins to be resized... Is that possible?
Offline
What do mean panel buttons?
Depending on the plugin, it may make use of the GTKButton widget. If it does, and the plugin is based on GTK3, then the code above will affect it.
Does that mean launchers too?
Some panel plugins have been migrated to gtk3, but the launchers have not yet been (still based on gtk2). So they would not be affected.
I just wanted those 2 plugins to be resized... Is that possible?
In that case, you can specify #widget_names in GTK3 css styling to focus on a specific element. Use this snippet instead to only get at those two items:
#pulseaudio-button { padding: 6px 6px; }
#xfce4-power-manager-plugin { padding: 6px 6px; }
More info on GTK3 styling here and on a helpful tool (Gtk Inspector) here.
Online
Ok I did some digging around some directories and it seems that there is no gtk.css in
~/.config/gtk-3.0
So I instead I modified my themes gtk.css, and nothing happened... I simply put:
pulseaudio-button { padding: 6px 6px; }
xfce4-power-manager-plugin { padding: 6px 6px; }
at the very bottom of the file...
Am I doing something wrong?
Off-topic:
I have seen a lot on the XFCE forums (I try to find some already asked questions there, don't have an account) could you help me here? https://bbs.archlinux.org/viewtopic.php … 3#p1685933 Thanks!
Offline
A couple of things:
1. ~/.config/gtk-3.0/gtk.css is an override file in which to put user-specifics tweaks to the theme. Manually changing the theme's files can be problemmatic if the theme is updated later (your changes will be over-written). If the ~/.config/gtk-3.0/gtk.css doesn't exist, then create one. It will be processed.
2. For the snippet to add, you need to use the #s (they are not comment markings like in shell scripts). These are used in css to identify a specific widget by name.
So to sum up, create the ~/.config/gtk-3.0/gtk.css file and add the following to it:
#pulseaudio-button { padding: 6px 6px; }
#xfce4-power-manager-plugin { padding: 6px 6px; }
...then restart the xfce4-panel:
xfce4-panel -r
...to have it re-read the settings.
If this doesn't work, post back the gtk and icon themes that you are using.
(As for the off-topic link, I'll post in there).
Online
Aha it works! Marking as solved!
Thanks for the help!
EDIT: So how would I create space so I can make my icons bigger?
Last edited by Hacksaurus_Babu (2017-01-25 01:54:45)
Offline
So how would I create space so I can make my icons bigger?
To make the icons bigger, decrease the px padding values. For instance, change the "6px" to "3px".
Online
Hmmm ok, can I make a padding value less than 1 but greater than 2?
Offline
/home/user/gtk-3.0/gtk.css
#pulseaudio-button * { -gtk-icon-transform: scale(0.6); }
#xfce4-power-manager-plugin * { -gtk-icon-transform: scale(0.6); ]}
Offline
saint613, this thread is three years old. Please do not necrobump.
Closing.
Offline
Pages: 1
Topic closed