import javax.swing.border.Border;
import javax.swing.text.DefaultCaret;
-import jalview.bin.Cache;
import jalview.log.JLoggerI.LogLevel;
import jalview.log.JLoggerLog4j;
import jalview.log.JalviewAppender;
// logLevelCombo.addItem(LogLevel.ERROR);
// logLevelCombo.addItem(LogLevel.OFF);
// set startingLogLevel
-
+
if (jalview.bin.Console.getLogger() == null)
{
startingLogLevel = jalview.bin.Console.getCachedLogLevel();
textArea.append(replace.toString());
trimBuffer(false);
}
- });
+ });
}
if (displayPipe.length() == 0)
{
@Override
public void run()
{
- displayPipe.append(input);
+ displayPipe.append(input);
}
});
// stderr.println("Time taken to Spawnappend:\t" + (System.nanoTime() -