Java Workspace.removeResourceChangeListenerの例

コード例 #1

ファイル: CharsetManager.java プロジェクト: xhaakon/eclipse4-platform

 @Override
 public void shutdown(IProgressMonitor monitor) {
   workspace.removeResourceChangeListener(resourceChangeListener);
   if (charsetListener != null) charsetListener.shutdown();
 }