public class CodeEditorMigrator extends ExtensionMigrator
CodeEditorMigrator
migrates the code editor's options
from IdeSettings over to ClientSettings.ExtensionMigrator.AdjustedObject
isSelected, ROOT_TAG, SETTINGS
JDEV_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, setSelected
protected java.lang.String getExtensionID()
getExtensionID
in class ExtensionMigrator
protected java.util.List getSettingKeys()
getSettingKeys
in class ExtensionMigrator