Releasing Control key (Ctrl) may deactivate (close) Ditto

[Chealer]

I activate (bring up) Ditto using the default keyboard shortcut, Ctrl + è (or Ctrl + `). Normally, I can then navigate through clips using the arrow keys when I want to select one other than the first, without having to keep Ctrl depressed.

However, if I keep Ctrl depressed for more than 2 seconds, then as soon as I release it, Ditto deactivates (i.e. its window disappears), and the selected clip is pasted. There is visibly a delay above which this happens, and under which this doesn't happen, but I do not know precisely what that delay is. A few tests suggest that delay is 2 s.

In other words, if one merely:

1. Holds Ctrl
2. Presses è
3. After ½ s, releases Ctrl

...then Ditto is deactivated.

However, if one does the same procedure except for waiting 5 s at step #3, then Ditto is not deactivated.

This can be worked around by pressing Esc before releasing Ctrl (but twice, since Ctrl + Esc is a Windows global shortcut to bring up the Start menu).

Note that there is a similar issue when one uses―for example―Ctrl + 4 to paste the fourth click. If Ctrl is kept depressed after pressing 4, Windows seems to be unaware about it. So if I then―for example―push v to paste the same clip a second time, the letter "v" is typed, and nothing is pasted. I would guess these 2 misbehaviors have little or no technical relation, but am mentioning it just in case.

The behaviors described above affect Ditto 3.24.246.0 on Windows 10 and 11.