@Override public void onOperationChannelRemoved(OperationChannel channel, WaveletId waveletId) { CcBasedWavelet wavelet = wavelets.remove(waveletId); terminalWavelets.clearTerminal(wavelet); listener.onWaveletRemoved(wavelet); }
@Override public void onOperationChannelRemoved(OperationChannel channel, WaveletId waveletId) { CcBasedWavelet wavelet = wavelets.remove(waveletId); terminalWavelets.clearTerminal(wavelet); listener.onWaveletRemoved(wavelet); }