jenkinsci/keyboard-shortcuts-plugin — pull request #6 by honggoff (2014-07-28 14:56:29+00:00)
Title: 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.