Browse Source

Fix frame buffer trimming preferences.

Change-Id: I7047cfdc450d65ba4191db4d152559665015ad72
Reviewed-on: http://gerrit.dmdirc.com/2633
Reviewed-by: Shane Mc Cormack <shane@dmdirc.com>
Automatic-Compile: DMDirc Build Manager
tags/0.8rc1
Greg Holmes 11 years ago
parent
commit
a7bd9a515e
1 changed files with 4 additions and 3 deletions
  1. 4
    3
      src/com/dmdirc/config/prefs/PreferencesManager.java

+ 4
- 3
src/com/dmdirc/config/prefs/PreferencesManager.java View File

28
 import com.dmdirc.config.Identity;
28
 import com.dmdirc.config.Identity;
29
 import com.dmdirc.interfaces.ActionController;
29
 import com.dmdirc.interfaces.ActionController;
30
 import com.dmdirc.util.validators.NumericalValidator;
30
 import com.dmdirc.util.validators.NumericalValidator;
31
+import com.dmdirc.util.validators.OptionalValidator;
31
 
32
 
32
 import lombok.RequiredArgsConstructor;
33
 import lombok.RequiredArgsConstructor;
33
 
34
 
221
                 "Sort nicknames in a case-sensitive manner?",
222
                 "Sort nicknames in a case-sensitive manner?",
222
                 manager, identity));
223
                 manager, identity));
223
         category.addSetting(new PreferencesSetting(PreferencesType.OPTIONALINTEGER,
224
         category.addSetting(new PreferencesSetting(PreferencesType.OPTIONALINTEGER,
224
-                new NumericalValidator(10, -1), "ui", "frameBufferSize",
225
-                "Window buffer size", "The maximum number of lines in a window"
226
-                + " buffer",
225
+                new OptionalValidator(new NumericalValidator(10, -1)),
226
+                "ui", "frameBufferSize", "Window buffer size",
227
+                "The maximum number of lines in a window buffer",
227
                 manager, identity));
228
                 manager, identity));
228
         category.addSetting(new PreferencesSetting(PreferencesType.FONT,
229
         category.addSetting(new PreferencesSetting(PreferencesType.FONT,
229
                 "ui", "textPaneFontName", "Textpane font",
230
                 "ui", "textPaneFontName", "Textpane font",

Loading…
Cancel
Save