|
Rename Attribute SERVER_RUN_CONFIG_KEY : String to SERVER_RUN_KEY : String in class org.languagetool.gui.Configuration |
From |
To |
|
Rename Attribute FONT_STYLE_CONFIG_KEY : String to FONT_STYLE_KEY : String in class org.languagetool.gui.Configuration |
From |
To |
|
Rename Attribute FONT_NAME_CONFIG_KEY : String to FONT_NAME_KEY : String in class org.languagetool.gui.Configuration |
From |
To |
|
Rename Attribute AUTO_DETECT_CONFIG_KEY : String to AUTO_DETECT_KEY : String in class org.languagetool.gui.Configuration |
From |
To |
|
Rename Attribute LANGUAGE_CONFIG_KEY : String to LANGUAGE_KEY : String in class org.languagetool.gui.Configuration |
From |
To |
|
Rename Attribute LF_NAME_CONFIG_KEY : String to LF_NAME_KEY : String in class org.languagetool.gui.Configuration |
From |
To |
|
Rename Attribute DISABLED_CATEGORIES_CONFIG_KEY : String to DISABLED_CATEGORIES_KEY : String in class org.languagetool.gui.Configuration |
From |
To |
|
Rename Attribute FONT_SIZE_CONFIG_KEY : String to FONT_SIZE_KEY : String in class org.languagetool.gui.Configuration |
From |
To |
|
Rename Attribute ERROR_COLORS_CONFIG_KEY : String to ERROR_COLORS_KEY : String in class org.languagetool.gui.Configuration |
From |
To |
|
Rename Attribute SERVER_PORT_CONFIG_KEY : String to SERVER_PORT_KEY : String in class org.languagetool.gui.Configuration |
From |
To |
|
Rename Attribute ENABLED_RULES_CONFIG_KEY : String to ENABLED_RULES_KEY : String in class org.languagetool.gui.Configuration |
From |
To |
|
Rename Attribute USE_GUI_CONFIG_KEY : String to USE_GUI_KEY : String in class org.languagetool.gui.Configuration |
From |
To |
|
Rename Attribute DISABLED_RULES_CONFIG_KEY : String to DISABLED_RULES_KEY : String in class org.languagetool.gui.Configuration |
From |
To |
|
Rename Attribute NGRAM_DIR_CONFIG_KEY : String to NGRAM_DIR_KEY : String in class org.languagetool.gui.Configuration |
From |
To |
|
Rename Attribute configForOtherLangs : Map<String,String> to configForOtherLanguages : Map<String,String> in class org.languagetool.gui.Configuration |
From |
To |
|
Rename Attribute MOTHER_TONGUE_CONFIG_KEY : String to MOTHER_TONGUE_KEY : String in class org.languagetool.gui.Configuration |
From |
To |