Sets an editor property value.
.set(/* String */ propertyName, propertyValue)
The name of the editor property to be set. Property names are listed here.
The new value of the property. See the documentation for the property for more information.
editor = new window.__editor(undefined, document.getElementById('editor-node'));
editor.startup();
// Load user preference data from the app's database
var userDataString = loadUserPreferences();
// Parse the preference data string to a JS object
var userData = JSON.parse(userDataString);
// Set the editor's preferences property
editor.set('preferences', userData);
This example assumes that the application implements function loadUserPreferences to retrieve saved user preference data.