-
Notifications
You must be signed in to change notification settings - Fork 601
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Adding the option to choose a border side, similar to margins #3674
Comments
It is not a "common" property. Whenever it is implemented, it is done so in isolation and little to nothing is shared with any other instance. But for widgets, that would be redundant, as you can already use the very same margin container to create a selective, colored border around the child widget. |
But this approach comes with a few downsides. You can't have a shape, the border will always be straight or at the very least have an edge on the inside since you could put a border around it, but not inside. Then there is the downside to always having a margin since it doubles as a border_width now, usually there is a property to choose weather not you want to affect the content or not(While its possible to workaround, its quiet some work as to a simple property). |
Then that would warrant a new type of container widget that can handle that stuff. But all of that complexity should not be put into widgets whose job isn't drawing borders. |
Maybe add that to |
Good news everyone: #3559 But in practice there is a reason why it would be hard to add to the |
can we achieve setting bottom border/margin to be greater than others side in each tag? only the bottom |
Do you mean something like this? {
widget = wibox.container.margin,
left = 20,
right = 10,
top = 40,
bottom = 30
} That would only work for magins but not borders, but there is a PR #3559 that adds the ability to have different borders for each side iirc |
Currently if you want a border you do
border_width
which draws a full border. But it would actually be nice to be able to choose a single side similar to CSS or how thewibox.container.margin
works.While one is an entire container and the other a common property it would still be a good addition imo
The text was updated successfully, but these errors were encountered: