}
void enableHighlightOnChange(int index, Color color, boolean insert,boolean remove,boolean update) {
javax.swing.JScrollPane scroll = (JScrollPane) this.getComponentAt(index);
Component c = scroll.getViewport().getComponents()[0];
if (c instanceof LoggingWindow) {
LoggingWindow log = (LoggingWindow) c;
TabHighlighter th = new TabHighlighter(scroll, color, insert,remove,update);
tabHighlighters.add(th);
log.addDocumentListener(th);
} else {
throw new RuntimeException("not implemented yet");
}
}