Hi, I was wondering if it's possible to specify window padding that's not the same value for each side? I'm aware of the empty space between edges setting but it seems to only be for all edges. I use a custom bar widget at the top of the screen and when I maximize windows I want the padding at the top to be more than the sides so it looks like the padding is evenly spaced all around it. Thanks!
