Special characters are html encoded

Special characters like quotes are encoded when they should not be. This is in the render as well and stored when re-editing.

An example can be found when entering the following:

div {
font-family: "Times New Roman", Times Roman, Roman, serif; 
}

When you re-open the edit screen, the following is shown:

div {
font-family: "Times New Roman", Times Roman, Roman, serif; 
}

This appears to have been fixed with a patch in the related issue #2617748: special char are html encoded → . However, the issue was marked as Closed (Fixed) prior to the patch being committed. I would attach the patch, but it appears to need a re-roll.