I have several computers which I run Antergos gnome on, but my desktop that I use for video editing I use KDE, it uses less resources than gnome … When using Antergos KDE I get a terrible mouse/cursor lag that makes it unbearable to use so I have had to switch to Manjaro KDE which does not have this problem (so far). I would prefer to use Antergos, is there a fix for this problem?