Saves the user's preferences.
()
| 1124 | * Saves the user's preferences. |
| 1125 | */ |
| 1126 | public void savePreferences() { |
| 1127 | |
| 1128 | // Save preferences for RText itself. |
| 1129 | super.savePreferences(); |
| 1130 | saveActionShortcuts(getShortcutsFile()); |
| 1131 | |
| 1132 | // Save preferences for any plugins. |
| 1133 | Plugin<?>[] plugins = getPlugins(); |
| 1134 | for (Plugin<?> plugin : plugins) { |
| 1135 | plugin.savePreferences(); |
| 1136 | } |
| 1137 | |
| 1138 | // Save the file chooser's properties, if it has been instantiated. |
| 1139 | if (chooser!=null) |
| 1140 | chooser.savePreferences(); |
| 1141 | |
| 1142 | } |
| 1143 | |
| 1144 | |
| 1145 | /** |
no test coverage detected