Re: PATCH: add -defaultRepeatDelay and -defaultRepeatInterval flags

2020-04-03 Thread Pekka Paalanen
On Thu, 2 Apr 2020 15:04:40 +0200 Michael Stapelberg wrote: > Done: https://gitlab.freedesktop.org/xorg/xserver/-/merge_requests/416/diffs > > I had tried sending a merge request before sending the patch to this > mailing list, but couldn’t find a fork button. > > Today, gitlab.freedesktop.org

Re: PATCH: add -defaultRepeatDelay and -defaultRepeatInterval flags

2020-04-02 Thread Michael Stapelberg
Done: https://gitlab.freedesktop.org/xorg/xserver/-/merge_requests/416/diffs I had tried sending a merge request before sending the patch to this mailing list, but couldn’t find a fork button. Today, gitlab.freedesktop.org showed me a prompt about not having an SSH key configured and not having

Re: PATCH: add -defaultRepeatDelay and -defaultRepeatInterval flags

2020-04-02 Thread Olivier Fourdan
Hi Michael, On Thu, 2 Apr 2020 at 14:35, Michael Stapelberg < michael+freedesk...@stapelberg.ch> wrote: > Friendly ping? :) > Best is to submit your patches as a merge request in gitlab, see: https://gitlab.freedesktop.org/xorg/xserver HTH Cheers Olivier

Re: PATCH: add -defaultRepeatDelay and -defaultRepeatInterval flags

2020-04-02 Thread Michael Stapelberg
Friendly ping? :) ___ xorg-devel@lists.x.org: X.Org development Archives: http://lists.x.org/archives/xorg-devel Info: https://lists.x.org/mailman/listinfo/xorg-devel

PATCH: add -defaultRepeatDelay and -defaultRepeatInterval flags

2020-03-26 Thread Michael Stapelberg
This setting does not otherwise seem permanently configurable yet. From 56dc66ccae72a6965d52e892f40dbede823b6159 Mon Sep 17 00:00:00 2001 From: Michael Stapelberg Date: Thu, 26 Mar 2020 21:53:58 +0100 Subject: [PATCH] add -defaultRepeatDelay and -defaultRepeatInterval flags This setting does