update history size

This commit is contained in:
Jarred Li
2012-04-15 12:08:21 +08:00
parent c59891e26e
commit a628c46ab0

View File

@@ -652,6 +652,7 @@ public abstract class JLineShell extends AbstractShell implements CommandMarker,
*/
public void setHistorySize(int historySize) {
this.historySize = historySize;
this.reader.getHistory().setMaxSize(this.historySize);
}
}