editor.js: The Save button now enables when the text is changed, and disables
    upon saving.
    (Note: There is some problem getting the callback, so for now it remains
    active, but all the code is there).