Hi all, Sorry to bring this back again...
> Just an addition to my previous explanation. > > The systematic server side key repeating only is also a good solution, > if we made the hypothesis that long key press are a lot less frequent > than short key pressing. > > And this solution is less complex. Any further comments on Benoit's proposal? Meanwhile, what about the patch series I posted as a workaround for Xwayland: https://patchwork.freedesktop.org/patch/76323/ https://patchwork.freedesktop.org/patch/76324/ https://patchwork.freedesktop.org/patch/76326/ https://patchwork.freedesktop.org/patch/76334/ Should we continue in this way or should I just leave that alone until an appropriate fix is pushed in gnome-shell/mutter? Cheers, Olivier _______________________________________________ [email protected]: X.Org development Archives: http://lists.x.org/archives/xorg-devel Info: https://lists.x.org/mailman/listinfo/xorg-devel
