Fixed the case sensitivity option in the find/replace dialog being nonfunctional (in the case of the groovy script editor) or always applied (in the case of the XML editor).