REPL: better user experience with Plugins

Hi guys,

here is a few experience we may improve about the Plugins at REPL page:

1. currently when I click on the plugins, the check state of the checkbox before the plugin name is not updated.

2. when I click a plugin in search result, the search list is reset. the keyword is gone.