|
@@ -124,7 +124,6 @@ public class LoggingManager implements ConfigChangeListener {
|
124
|
124
|
private boolean stripcodes;
|
125
|
125
|
private boolean channelmodeprefix;
|
126
|
126
|
private boolean autobackbuffer;
|
127
|
|
- private boolean backbufferTimestamp;
|
128
|
127
|
private String colour;
|
129
|
128
|
/** Cached int settings. */
|
130
|
129
|
private int historyLines;
|
|
@@ -415,11 +414,10 @@ public class LoggingManager implements ConfigChangeListener {
|
415
|
414
|
file.getLines(1);
|
416
|
415
|
final Stack<String> lines = file.getLines(backbufferLines);
|
417
|
416
|
while (!lines.empty()) {
|
418
|
|
- frame.addLine(getColouredString(colour, lines.pop()), backbufferTimestamp);
|
|
417
|
+ frame.addLine(getColouredString(colour, lines.pop()));
|
419
|
418
|
}
|
420
|
419
|
file.close();
|
421
|
|
- frame.addLine(getColouredString(colour, "--- End of backbuffer\n"),
|
422
|
|
- backbufferTimestamp);
|
|
420
|
+ frame.addLine(getColouredString(colour, "--- End of backbuffer\n"));
|
423
|
421
|
} catch (IOException | SecurityException e) {
|
424
|
422
|
eventBus.publishAsync(new UserErrorEvent(ErrorLevel.LOW, e,
|
425
|
423
|
"Unable to show backbuffer (Filename: " + filename + "): " + e.getMessage(),
|
|
@@ -593,7 +591,6 @@ public class LoggingManager implements ConfigChangeListener {
|
593
|
591
|
stripcodes = config.getOptionBool(domain, "general.stripcodes");
|
594
|
592
|
channelmodeprefix = config.getOptionBool(domain, "general.channelmodeprefix");
|
595
|
593
|
autobackbuffer = config.getOptionBool(domain, "backbuffer.autobackbuffer");
|
596
|
|
- backbufferTimestamp = config.getOptionBool(domain, "backbuffer.timestamp");
|
597
|
594
|
historyLines = config.getOptionInt(domain, "history.lines");
|
598
|
595
|
colour = config.getOption(domain, "backbuffer.colour");
|
599
|
596
|
backbufferLines = config.getOptionInt(domain, "backbuffer.lines");
|
|
@@ -644,11 +641,6 @@ public class LoggingManager implements ConfigChangeListener {
|
644
|
641
|
pluginInfo.getDomain(), "backbuffer.lines", "Number of lines to show",
|
645
|
642
|
"Number of lines used when displaying backbuffer",
|
646
|
643
|
manager.getConfigManager(), manager.getIdentity()));
|
647
|
|
- backbuffer.addSetting(new PreferencesSetting(PreferencesType.BOOLEAN,
|
648
|
|
- pluginInfo.getDomain(), "backbuffer.timestamp", "Show Formatter-Timestamp",
|
649
|
|
- "Should the line be added to the frame with the timestamp from "
|
650
|
|
- + "the formatter aswell as the file contents",
|
651
|
|
- manager.getConfigManager(), manager.getIdentity()));
|
652
|
644
|
|
653
|
645
|
advanced.addSetting(new PreferencesSetting(PreferencesType.BOOLEAN,
|
654
|
646
|
pluginInfo.getDomain(), "advanced.filenamehash", "Add Filename hash",
|