public void updateTabSize(int tabSize) {
miniMapPanel.updateTabSize(tabSize);
}
@Override
public void setBackground(Color bg) {
miniMapPanel.setBackground(bg);
}
@Override
public void setForeground(Color fg) {
miniMapPanel.setForeground(fg);
}
public void setHighlightColor(Color c) {
miniMapPanel.setHighlightColor(c);
}