183184185186187188189190191192193
contextMenu.add( new SetSignalElementVisibilityAction( this.controller, signalElement ) ); if ( signalElement.isDigitalSignal() ) { contextMenu.add( new RemoveChannelAnnotations( this.controller, signalElement ) ); } } elementAdded = true; }