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