How can i edit show desktop panel plugin width?

woistmeinauto · 2020-03-29 10:19:41

I'm running manjaro xfce, xfce is v4.14.

I want a slim show desktop like windows OS. The show desktop plugin is taking up too much space.

Any way to edit it?

Edit: Btw i tried editing user-desktop.svg but no luck, it still takes up same space just the icon looks different.

Edit2: /root/.config/gtk-3.0/ is empty. There doesn't seem to be any css file there.

Last edit: The genmon plugin works but does not support drag and drop, so i came up with a second panel that has the length of 2 on right bottom then i made my first panel length 99 then i made the panel with 2 length stay below at all times :https://forum.xfce.org/viewtopic.php?id=14140

Last edited by woistmeinauto (2020-07-12 07:51:52)

ToZ · 2020-03-29 12:40:01

Xfce panel icons, for the most part, are coded to be square. That means you can't really use a non-square icon - especially in the showdesktop plugin.

You can however, use the genmon plugin to accomplish something similar. Genmon is not bound by square images so it will display the image with whatever it's size is. Using a showdesktop toggle script like this (requires wmctrl):

#/bin/bash
if xprop -root  _NET_SHOWING_DESKTOP|egrep '= 1' ; then 
  wmctrl -k off ; 
else 
  wmctrl -k on ;
fi

...and a genmon command like this (set the timer to its maximum value of 86400):

echo "<img>/path/to/icon.png</img><click>/path/to/above/script</click><tool>Show Desktop Toggle</tool>"

...will generate similar functionality. Note: replace the image and script paths to point to your specific ones.

woistmeinauto · 2020-03-29 15:35:24

Thank you much. That did save lots of space but not enough yet. I probably hit the limit, can't get it smaller.

https://imgur.com/bJ9pZuT.png

width = 20 px
height = 34 px

Do you know of any way to make it smaller, or do I get to call it a day?

ToZ · 2020-03-29 15:40:26

Just make the image smaller in width. Try 8x34.

woistmeinauto · 2020-03-29 15:51:48

Already have, I slowly got it bigger observing it. After 20 it starts getting bigger, under 20 it doesn't matter, it's the same.

ToZ · 2020-03-29 15:55:46

What is the height of the panel? Make the height of the image the same.

woistmeinauto · 2020-03-29 16:26:17

34 px, same like 20 px width, nothing changes above, gets smaller below.

ToZ · 2020-03-29 17:32:41

Ok I see now. I think it might be the theme's button themeing. Try adding this to ~/.config/gtk-3.0/gtk.css (create the file if it doesn't exist):

.genmon_imagebutton { padding: 0; margin: -5px; }

...and play with the "-5px" (margins can go into the negatives) value to squeeze it together. See if that helps.

woistmeinauto · 2020-03-29 17:37:46

Doesn't work, I think Manjaro is somehow wired differently.
Edit: It's probably here somewhere https://filebin.net/7e0at5udovnf9enk

Last edited by woistmeinauto (2020-03-29 17:42:43)

ToZ · 2020-03-29 18:19:16

Here it is on my system (Arch with Matcha-deep-sea theme). It is the thin (4x32) green bar.

Can you post back the contents of your ~/.config/gtk-3.0/gtk.css file?

woistmeinauto · 2020-03-29 18:27:38

Adding

.genmon_imagebutton { padding: 0; margin: -5px; }

to /home/user/.config/gtk-3.0/gtk.css solved this as well.

ToZ · 2020-03-29 19:05:48

Cool. Just to add a small note. If you use any other genmon applets, they will all be affected by the above setting. To focus it just on that one genmon applet, first find it's name in Panel > Panel Preferences > Items tab, by hovering over the plugin. It should say something like "genmon-7". Then add this, prefixed with a hash, to the setting above. For example:

#genmon-7 .genmon_imagebutton { padding: 0; margin: -5px; }

By doing this, the setting will only affect that one instance of the genmon plugin.

Xfce Forum

Sub domains

#1 2020-03-29 10:19:41

How can i edit show desktop panel plugin width?

#2 2020-03-29 12:40:01

Re: How can i edit show desktop panel plugin width?

#3 2020-03-29 15:35:24

Re: How can i edit show desktop panel plugin width?

#4 2020-03-29 15:40:26

Re: How can i edit show desktop panel plugin width?

#5 2020-03-29 15:51:48

Re: How can i edit show desktop panel plugin width?

#6 2020-03-29 15:55:46

Re: How can i edit show desktop panel plugin width?

#7 2020-03-29 16:26:17

Re: How can i edit show desktop panel plugin width?

#8 2020-03-29 17:32:41

Re: How can i edit show desktop panel plugin width?

#9 2020-03-29 17:37:46

Re: How can i edit show desktop panel plugin width?

#10 2020-03-29 18:19:16

Re: How can i edit show desktop panel plugin width?

#11 2020-03-29 18:27:38

Re: How can i edit show desktop panel plugin width?

#12 2020-03-29 19:05:48

Re: How can i edit show desktop panel plugin width?

Board footer