As the title says, we should add a padding option to our components. But how is it gonna be useful?
We will be able to set our padding between components in a more comfy way, without having to manually add whitespaces. This option will extend how separators works and could look like this
padding = { left = 1, right = 2 },
But there's a separator option that would allow us to set padding by using whitespaces as the value
Yes, you're right but this looks ugly af in my opinion. Also I discovered that galaxyline has a "hidden" (non-documented) feature to set the separator direction (left or right) called position, I thought hey this is really cool, however this will not allow us to say "So I want to have left and right padding on this component".
This feature aims to fix this, by allowing us to set padding in both directions.
But if we implement this, what would happen with separator and the hidden feature that you said?
They will be still here, because there is people using special characters as their components separators and this looks really cool. The new option has a specific use case that separator can cover but in a limited way, so we will have more freedom with it because it is intended only for adding whitespaces (padding) between our components.
Note for myself (and also to you if you want to contribute with this feature): there will be also a precedence order, because we don't want to add padding after our separators, e.g.
separator padding component ----- BAD
padding separator component ----- GOOD
As the title says, we should add a padding option to our components. But how is it gonna be useful?
We will be able to set our padding between components in a more comfy way, without having to manually add whitespaces. This option will extend how separators works and could look like this
Yes, you're right but this looks ugly af in my opinion. Also I discovered that galaxyline has a "hidden" (non-documented) feature to set the separator direction (left or right) called
position
, I thought hey this is really cool, however this will not allow us to say "So I want to have left and right padding on this component".This feature aims to fix this, by allowing us to set padding in both directions.
They will be still here, because there is people using special characters as their components separators and this looks really cool. The new option has a specific use case that separator can cover but in a limited way, so we will have more freedom with it because it is intended only for adding whitespaces (padding) between our components.
Note for myself (and also to you if you want to contribute with this feature): there will be also a precedence order, because we don't want to add padding after our separators, e.g.