Fix #3534: Splitter: widths provided to SplitterPanel.size are not correctly applied

[kalinkrustev]

Fix: #3534

[github-actions]

Thanks a lot for your contribution! But, PR does not seem to be linked to any issues. Please manually link to an issue or mention it in the description using #<issue_id>.

[melloware]

Looks like you need to run prettier format

[kalinkrustev]

Yes and I think the issue was caused when I was trying to satisfy the linter. I think I got a similar error in my previous PR.

[github-actions]

Thanks a lot for your contribution! But, PR does not seem to be linked to any issues. Please manually link to an issue or mention it in the description using #<issue_id>.

[kalinkrustev]

I admit I do not have memorized the full 18 levels of JS operator precedence and when Prettier insists to remove the extra brackets, it might look "prettier", but then requires the reader (which includes me) of the source code to also memorize these 18 levels.

[melloware]

You can also add // prettier-ignore if you don't want it touched.

[kalinkrustev]

OK, I will know for the next time. But then it looks suspicious :)

[melloware]

HA true!