Adds the selection bar extension in file tree

This is a fix for #9203.