WebUI: filter array elements in-place#23837
Conversation
51d8710 to
fccb36b
Compare
fccb36b to
06f844d
Compare
06f844d to
17ff345
Compare
Currently JS `Array` have no method to filter element in-place so we provide one which result in better performance and less memory allocations.
17ff345 to
4f66a9b
Compare
|
Can't find any problems with this PR. /Off topic And when i move that column, the checkbox in the header disappears and i get this: |
I confirm. Let's ping @Piccirello.
I saw it only once and it go away when I F5 refresh the page. Seems a bit hard to reproduce reliably. @thalieht |
I fixed it in #23852, sorry for the noise. |
Yes.
Yes it goes away with F5. I don't know if it's intended that the checkbox in the header is appended to the |
I'll look into this |
|
Checkbox column movement has been fixed in #23858. |
Currently JS
Arrayhave no method to filter element in-place so we provide one which result in less memory allocations and hopefully better performance.