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