tree 59f191814d735939ab1007884002f0c4b0f6e52b
parent a2a34a5711bde03475b40edfe3cc052ece02700a
author Leon Scroggins <scroggo@google.com> 1242244683 -0400
committer Leon Scroggins <scroggo@google.com> 1242244683 -0400

Enable filtering <select> lists.

Fix a bug where the filter text could not be deleted,
and another where filtering changes the checked item,
so that filtering <select> lists can be reenabled.