HTML editors not registering

[ckosloff]

This is a very strange issue, and it never happened before to me.
In Configuration -> My Store the HTML editor is set to FCK.
I have uncommented lines in admin/includes/init_includes/overrides/init_html_editor.php
I have also set this file to 777, in case this is a permission issue.
But when I go to edit a product the editor is not showing.
In fact no editor is showing: I have also tried TinyMCE and HtmlArea.
It is like no editor is installed but all are.

[ckosloff]

Tsk, tsk.
I reloaded the files, uncommented lines, etc. but nothing was happening, so posted.
I just had to wait for the server to reload database, I guess.
Anyway, after some time the thingie works again.
Reason? : hm, maybe a tremor in the Force?

[ckosloff]

Well, maybe it was some cosmic ray after all.
But I found a fix for it:
Admin --> Tools --> Store Manager --> Optimize database.
When you switch from one editor to the other, apparently it doesn't clear the deleted record until you whack it with this utility.