|
@@ -67,9 +67,11 @@ public class HistoryWindow extends FrameContainer {
|
67
|
67
|
window.setTitle(title);
|
68
|
68
|
window.setVisible(true);
|
69
|
69
|
|
70
|
|
- final Stack<String> lines = reader.getLines(
|
71
|
|
- IdentityManager.getGlobalConfig().getOptionInt("plugin-Logging",
|
72
|
|
- "history.lines", 50000));
|
|
70
|
+ final int historyLineCount = IdentityManager.getGlobalConfig().getOptionInt(
|
|
71
|
+ "plugin-Logging", "history.lines", 50000);
|
|
72
|
+ final int frameBufferSize = IdentityManager.getGlobalConfig().getOptionInt(
|
|
73
|
+ "ui", "frameBufferSize", 10000);
|
|
74
|
+ final Stack<String> lines = reader.getLines(Math.min(frameBufferSize, historyLineCount));
|
73
|
75
|
while (lines.size() > 0) {
|
74
|
76
|
window.addLine(lines.pop(), false);
|
75
|
77
|
}
|