Révision 582
| tmp/org.txm.core/src/java/org/txm/core/results/TXMResult.java (revision 582) | ||
|---|---|---|
| 239 | 239 |
|
| 240 | 240 |
str.append("Command preferences\n");
|
| 241 | 241 |
str.append(TXMPreferences.getKeysAndValues(TXMPreferences.scope, this.preferencesNodeQualifier)); |
| 242 |
str.append("Default preferences\n");
|
|
| 242 |
str.append("\nDefault preferences\n");
|
|
| 243 | 243 |
str.append(TXMPreferences.getKeysAndValues(DefaultScope.INSTANCE, this.preferencesNodeQualifier)); |
| 244 | 244 |
|
| 245 | 245 |
return str.toString(); |
Formats disponibles : Unified diff