SeleniumHQ/selenium — pull request #238 by anonymoussdet (2014-07-12 15:49:50+00:00)
Title: Fix for issue #1050 Reset Options" disables Ok button in Selenium IDE 

Fix for Issue: http://code.google.com/p/selenium/issues/detail?id=1050
This is my first fix, was pretty easy too as well. I've signed the CLA.
did build the IDE as per http://code.google.com/p/selenium/wiki/BuildingSeIDE and see that the issue doesn't get reproduced with the generated xpi file.