Beispiel #1
0
 public void setMode(TokenVisualizationMode n, Token t) {
   this.tvm = n;
   this.tokenTextLabel.setForeground(tvm.getUnselectedColor());
   this.addMouseListener(tvm.getMouseListener());
   this.addKeyListener(tvm.getKeyListener());
   tvm.setTokenVisualizationStyle(this, t);
   this.calculateSizeNormMode();
   this.revalidate();
 }
Beispiel #2
0
 public void update(String newtext) {
   tokenTextLabel.setText(newtext);
   tvm.setTokenVisualizationStyle(instance);
   this.calculateSizeNormMode();
   this.revalidate();
 }
Beispiel #3
0
 public void setMultiSelected(boolean b) {
   this.isMultiSelected = b;
   if (!this.isSpace()) {
     tvm.setTokenVisualizationStyle(this);
   }
 }
Beispiel #4
0
 public void setSelected(boolean b) {
   this.isSelected = b;
   this.grabFocus();
   tvm.setTokenVisualizationStyle(this);
 }