Performance using the PPA seems better indeed. Only some wrong-colours bugs: bug 1712986 bug 1712992 Although neither of those seem to be the fault of gnome-shell.
Performance using the PPA seems better indeed. Only some wrong-colours bugs:
bug 1712986
bug 1712992
Although neither of those seem to be the fault of gnome-shell.