|
@@ -772,7 +772,7 @@ public final class SwingController extends Plugin implements Serializable,
|
772
|
772
|
options.put("neverShow", "Never show");
|
773
|
773
|
options.put("showWhenMaximised", "Show only when windows maximised");
|
774
|
774
|
|
775
|
|
- advanced.addSetting(new PreferencesSetting(PreferencesType.INTEGER,
|
|
775
|
+ advanced.addSetting(new PreferencesSetting(PreferencesType.OPTIONALINTEGER,
|
776
|
776
|
new NumericalValidator(10, -1), "ui", "frameBufferSize",
|
777
|
777
|
"Window buffer size", "The maximum number of lines in a window"
|
778
|
778
|
+ " buffer"));
|