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(); }
public void update(String newtext) { tokenTextLabel.setText(newtext); tvm.setTokenVisualizationStyle(instance); this.calculateSizeNormMode(); this.revalidate(); }
public void setMultiSelected(boolean b) { this.isMultiSelected = b; if (!this.isSpace()) { tvm.setTokenVisualizationStyle(this); } }
public void setSelected(boolean b) { this.isSelected = b; this.grabFocus(); tvm.setTokenVisualizationStyle(this); }