public class CodeEditorMigrator extends ExtensionMigrator
CodeEditorMigrator migrates the code editor's options
 from IdeSettings over to ClientSettings.ExtensionMigrator.AdjustedObjectisSelected, ROOT_TAG, SETTINGSJDEV_HOME_DIR, SYSTEM_DIR| Constructor and Description | 
|---|
CodeEditorMigrator()  | 
| Modifier and Type | Method and Description | 
|---|---|
protected java.lang.String | 
getExtensionID()
Our extension ID we store settings with. 
 | 
protected java.util.List | 
getSettingKeys()
Fetches the key settings that should be migrated to ClientSettings. 
 | 
addToProductPreferences, adjustObject, canMigrate, copyPreferenceObject, copyPreferenceObjectsAsIs, getClassNamesToIgnoreErrorsOn, getDescription, getDestFile, getIde1013ExtensionDirectory, getMigrationCategories, getMigratorClassLoader, getRootTag, getSourceFile, getSourceFileOrJDevExtrasFile, isSelected, loadClass, migrate, setSelectedprotected java.lang.String getExtensionID()
getExtensionID in class ExtensionMigratorprotected java.util.List getSettingKeys()
getSettingKeys in class ExtensionMigrator