()
| 374 | } |
| 375 | |
| 376 | public void applyPreferences() { |
| 377 | // Apply line endings. |
| 378 | if (PreferencesData.get("serial.line_ending") != null) { |
| 379 | lineEndings.setSelectedIndex(PreferencesData.getInteger("serial.line_ending")); |
| 380 | } |
| 381 | } |
| 382 | |
| 383 | protected void onEnableWindow(boolean enable) { |
| 384 | textField.setEnabled(enable); |
no test coverage detected