Add jedit_charset property.