String name, TextStyle defaultTextStyle) {
acceptor.acceptDefaultHighlighting(name, name, defaultTextStyle);
}
public TextStyle getHeaderTextStyle(int height) {
TextStyle textStyle = new TextStyle();
textStyle.setBackgroundColor(new RGB(255, 255, 255));
textStyle.setColor(new RGB(0, 0, 0));
FontData fd = new FontData();
fd.setHeight(height);
fd.setStyle(SWT.BOLD);
textStyle.setFontData(fd);
return textStyle;
}