public void setTokenTypeChannel(int ttype, int channel) { hide.add(ttype); }
protected void sync(int i) { super.sync(i); if (hide.contains(get(i).getType())) get(i).setChannel(Token.HIDDEN_CHANNEL); }