Open nicolgit opened 2 years ago
Hi, thanks for the PR. What is the border width though? I don't think there's a border on the sidebar. Is it the padding?
Also this updates Squirrel which may be a breaking change for the auto update.
Yes correct, I mean padding 🤪
I had to upgrade squirrel in order to allow to build, not sure why...
Hi @nicolgit ,
This PR will provide support for negative padding?
no @lars18th this sets only positive padding. Minimum value is 0
no @lars18th this sets only positive padding. Minimum value is 0
And why not? Obviously, it doesn't have sense to write outside of the window space. However, if you want to reduce the border, then the padding could be negative... until the size of the real border.
Any way. When this patch will be merged?
Hi @nicolgit ,
Still waiting to merge.
Hi guys, I have made customizable the padding size from the settings. This because I have found the default padding too wide for my preferences :-) the benefit is that you can earn valuable pixels on the screen. hope you like it.
I have updated the settings dialog