1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

                IWorkspace workspace = ResourcesPlugin.getWorkspace();
    rcl = new IResourceChangeListener() {
      public void resourceChanged(IResourceChangeEvent event) {
        // TODO find how to refresh the tree contents
        System.out.println("Refresh treeViewer");
        viewer.refresh();
        System.out.println("TreeViewer refreshed");
      }
    };
    workspace.addResourceChangeListener(rcl);

    action1 = new Action() {
      public void run() {
        showMessage("Action 1 executed (Path: "
            + store.getString(PreferenceConstants.P_CDOC_PATH)
            + ")");
        viewer.refresh();
      }
    };