Re: [webkit-dev] Removal of trailing whitespace

2023-04-12 Thread Tetsuharu Ohzeki via webkit-dev
To digress a little, why does webkit now use a style checker based on python script instead of clang-format? In today, I feel it's more reasonable to use such a formetter. (This is just a off topic & just my interesting about history, I don’t have a intention to propose in this discussion to

Re: [webkit-dev] Removal of trailing whitespace

2023-04-12 Thread Tetsuharu OHZEKI via webkit-dev
How about adding the trim_trailing_whitespace option to the root's .editorconfig as the first step? - https://github.com/WebKit/WebKit/blob/main/.editorconfig - https://editorconfig.org/ This does not enforce anything for all of us, so we still require some style checker mechanism, but I think