In PyCharm, in any window featuring a list, I can start typing a substring, and this instantly brings me to the first list element that has that substring:
Now, how can I jump to the next search result (i.e. the next element matching the substring)?
Tried F3 (no effect) and Enter (the "Search for:" widget just disappears).
Also tried googling "pycharm quick search start typing" and such but this only locates help on "search everywhere" which is not this feature.
I ultimately asked JetBrains support, and they said:
Please try using Up and Down buttons on your keyboard. Does it work?
And indeed, it worked!
Who could've thought...