No that's an aosp quickstep port not pixel launcher port.....
Ok, I linked the AOSP port because
@paphonb Isnt going to do a pixel 4 port.
Theres one problem with all these "Pixel launchers"
They're all the bloody same!!!!?
Here's the OFFICIAL PIXEL 4 launcher
https://9to5google.com/2019/09/27/download-updated-pixel-launcher-pixel-4/
(It will only work on PIXEL devices running android 10)
While we are on the subject of Pixel launchers, haven't you noticed that the Pixel 4 launcher looks no different to the AOSP one?
or looks no different to the quickstep launcher that's default on Nokia android one Devices?
OR looks no different to the launcher3 that's default on some other Nokia's and Motorola devices (which if you check are actually a renamed quickswitch launcher)
They all look identical to each other, so isn't it any wonder some people get confused with them.?......
@paphonb has already stated publically he's not prepared to do a pixel 4 port as it's "too much effort" so the AOSP one is the closest thing to a pixel 4 port anyone is going to get right now.
Rather than shoot me down in flames for linking the best alternative, just understand you are not going to get anything better than that right now......