|
@@ -68,6 +68,7 @@ import com.dmdirc.ui.core.components.StatusBarManager;
|
68
|
68
|
import com.dmdirc.ui.core.util.URLHandler;
|
69
|
69
|
import com.dmdirc.updater.Version;
|
70
|
70
|
import com.dmdirc.util.validators.NumericalValidator;
|
|
71
|
+import com.dmdirc.util.validators.OptionalValidator;
|
71
|
72
|
|
72
|
73
|
import java.awt.Dialog.ModalityType;
|
73
|
74
|
import java.awt.Font;
|
|
@@ -630,10 +631,10 @@ public class SwingController extends BaseCommandPlugin implements UIController {
|
630
|
631
|
|
631
|
632
|
advanced.addSetting(new PreferencesSetting(
|
632
|
633
|
PreferencesType.OPTIONALINTEGER,
|
633
|
|
- new NumericalValidator(10, -1), "ui", "frameBufferSize",
|
634
|
|
- "Window buffer size", "The maximum number of lines in a window"
|
635
|
|
- + " buffer",
|
636
|
|
- globalConfig, globalIdentity));
|
|
634
|
+ new OptionalValidator(new NumericalValidator(10, -1)),
|
|
635
|
+ "ui", "frameBufferSize",
|
|
636
|
+ "Window buffer size", "The maximum number of lines in a "
|
|
637
|
+ + "window buffer", globalConfig, globalIdentity));
|
637
|
638
|
advanced.addSetting(new PreferencesSetting(PreferencesType.BOOLEAN,
|
638
|
639
|
getDomain(), "mdiBarVisibility", "MDI Bar Visibility",
|
639
|
640
|
"Controls the visibility of the MDI bar",
|