An extension of svn.js which allows to select an element