Panel customization

[SatoshiKazuma]

Hello.
I wanted to know if there is any way to separate my panel from the top window border.
It looks like this now

I want to add gaps, maybe round the edges (the red bits)

Any help would be greatly appreciated, Thank you

[Mick-Cork]

Are you using Cinnamon?

Bit hard to see exactly what you're trying to achieve, but if you want to create a bit of space between the icons and the top/bottom panel borders go into panel settings and try changing the height of the panel (and maybe the icon sizes).

To create a space at the left and right sides of the panel you could add the spacer applet and drag a spacer to the left and right positions.

[SatoshiKazuma]

I'm trying to separate the panel from the top corner and make it look free floating like some of those Polybars on r/unixporn.
I have scoured the panel setting.
I think I have to edit the cinnamon configuration file, the problem is I don't know what I'm looking for.

[Mick-Cork]

I'm trying to separate the panel from the top corner and make it look free floating like some of those Polybars on r/unixporn.
I have scoured the panel setting.
I think I have to edit the cinnamon configuration file, the problem is I don't know what I'm looking for.

I had a look and the floating panel idea is quite attractive, however I couldn't find any good way to implement it in Cinnamon.
The nearest I got was to edit the cinnamon.css file for my theme and add a margin attribute to the relevant panel.
For example:

Code: Select all

.panel-top {margin: 20px 20px 0 20px; }

This only worked if I had 'Always show panel' under Panel Visibility in the panel settings. Any other setting (e,g 'Intelligently hide panel') caused the panel not to appear at all. The other issue was that it would sit over any open windows and could make it difficult to click on the controls (close, minimise etc).

Would be interested to hear if anyone has got a good solution (floating panel(s) in a Mint environment), but I suspect it's not that straight-forward?

[SatoshiKazuma]

Thank you for responding, I guess I have to rely on polybar for now

[Moloch1994]

You could use a .png image with some empty space at the bottom to create that gap. I've done it before, it works.

Code: Select all

border-image: url("panel.png") 2;

If your panel.png is in your theme folder, no need to add the path. If it's in a folder within that theme folder, for example "assets", then you write there "assets/panel.png".

There is also a way to make rounded edges, but it is incompatible with the aforementioned method, and I think only works on light themes (?), I'm not sure.

Code: Select all

border-radius: 8px;

Obviously, where "8px" you regulate how rounded you want it by changing the digits.

If only there was a way to combine the two somehow, you'd get your floating dock with rounded corners.