public void prefixRemoved(final String arg0, final String arg1) {}
@Override
public AbstractGuiComponent<Operator> draw(final GraphWrapper arg0,
final VisualGraph<Operator> arg1) {
this.panel = new RuleOperatorPanel(arg1, arg0, this, true);
return this.panel;
}