Implementation of keyboard navigation

[Paul Neulinger <mailinglist tanwald net>]

Hello,

I have realized that recent Gnome Shell versions provide rudimentary
keyboard navigation for the selection of window clones in overview mode.
I could not find the lines where this is implemented. I want to
disable/adopt it because it interferes with my extension, which also
implements that feature in a way that I prefer. Thanks.

Best,

Paul