Fix display of selection filter

The selection filter was only displayed on browsers that support
innerText (IE-specific). Instead use the update() method of
prototype.js.