Exemple #1
0
 public void updateTabSize(int tabSize) {
   miniMapPanel.updateTabSize(tabSize);
 }
Exemple #2
0
 @Override
 public void setBackground(Color bg) {
   miniMapPanel.setBackground(bg);
 }
Exemple #3
0
 @Override
 public void setForeground(Color fg) {
   miniMapPanel.setForeground(fg);
 }
Exemple #4
0
 public void setHighlightColor(Color c) {
   miniMapPanel.setHighlightColor(c);
 }