make sure to upload the entire HTMLEditor folder after making the change.
The majority of functionality in HTML Editor is driven through javascript which gets cached by the web browser, often for the changes to show in the browser, you will need to delete the browsers cache, then completely close it and reopen the browser.
If you continue to have a problem, please send a link where I can look into the issue.