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.