faster navigation with scroll_up/scroll_down
A somewhat better selection behavior (imho).

This commit reintroduce the behavior of 875bffa6e86675de143ea84772c9d4dd727e8026
It could be made "optionnal" if someone prefers the old behavior.