Update default preference values
emmanue1
5 years ago
+2
-2
41 | 41 | |
42 | 42 | @Override |
43 | 43 | public void loadPreferences(Map<String, String> preferences) { |
44 | escapeUnicodeCharactersCheckBox.setSelected(!"false".equals(preferences.get(ESCAPE_UNICODE_CHARACTERS))); | |
45 | realignLineNumbersCheckBox.setSelected("true".equals(preferences.get(REALIGN_LINE_NUMBERS))); | |
44 | escapeUnicodeCharactersCheckBox.setSelected("true".equals(preferences.get(ESCAPE_UNICODE_CHARACTERS))); | |
45 | realignLineNumbersCheckBox.setSelected(!"false".equals(preferences.get(REALIGN_LINE_NUMBERS))); | |
46 | 46 | } |
47 | 47 | |
48 | 48 | @Override |