Changeset 4 for trunk/src

Timestamp:

09/08/05 19:40:05 (19 years ago)

Author:

boris

Message:

• modelica projects view refreshes on resource changes

File:

• trunk/src/org/modelica/mdt/ProjectsView.java (modified) (7 diffs)

trunk/src/org/modelica/mdt/ProjectsView.java

@@ -5 +5 @@
 import org.eclipse.core.resources.IProject;
 import org.eclipse.core.resources.IResource;
+import org.eclipse.core.resources.IResourceChangeEvent;
+import org.eclipse.core.resources.IResourceChangeListener;
+import org.eclipse.core.resources.IWorkspace;
 import org.eclipse.core.resources.ResourcesPlugin;
 import org.eclipse.core.runtime.CoreException;
@@ -26 +29 @@
     private TreeViewer viewer;
     private DrillDownAdapter drillDownAdapter;
+    private IResourceChangeListener resourceListener;
+
+
+    public class ProjectsLabelProvider extends WorkbenchLabelProvider
+    {
+
+    }
 
     public class ProjectsTreeContentProvider implements ITreeContentProvider 
@@ -31 +41 @@
 
         public Object[] getElements(Object inputElement)
-        {       
+        {
             return getChildren(inputElement);
-            //return ((IWorkspaceRoot)inputElement).getProjects();
         }
         
@@ -42 +51 @@
         public void inputChanged(Viewer viewer, Object oldInput, Object newInput)
         {
-            //TODO figure out what the heck this method is doing 
-            System.out.println("input changed !!!");
         }
 
@@ -91 +98 @@
     public void createPartControl(Composite parent)
     {
+        IWorkspace workspace = ResourcesPlugin.getWorkspace();
         viewer =
             new TreeViewer(parent, SWT.MULTI | SWT.H_SCROLL | SWT.V_SCROLL);
 
         viewer.setContentProvider(new ProjectsTreeContentProvider());
-        viewer.setLabelProvider(new WorkbenchLabelProvider());
-        viewer.setInput(ResourcesPlugin.getWorkspace().getRoot());
+        viewer.setLabelProvider(new ProjectsLabelProvider());
+        viewer.setInput(workspace.getRoot());
+
         drillDownAdapter = new DrillDownAdapter(viewer);
         
         hookContextMenu();
+        
+        resourceListener = new IResourceChangeListener()
+        {
+            public void resourceChanged(IResourceChangeEvent event)
+            {
+                if (event.getType() != IResourceChangeEvent.POST_CHANGE)
+                {
+                     return;
+                }
+
+                //TODO this must be made more selective
+                // a list of objects (tree-nodes) need to be made
+                // from resource delta and posted to UI thread
+                // se http://www.eclipse.org/articles/Article-Resource-deltas/resource-deltas.html
+                getViewSite().getShell().getDisplay().asyncExec(new Runnable()
+                {
+                     public void run()
+                     {
+                         viewer.refresh(true);
+                     }
+                });
+            }
+        };
+        workspace.addResourceChangeListener(resourceListener);
     }
 
@@ -108 +141 @@
     }
     
-    private void hookContextMenu() {
+    private void hookContextMenu()
+    {
         MenuManager menuMgr = new MenuManager("#PopupMenu");
         menuMgr.setRemoveAllWhenShown(true);
-        menuMgr.addMenuListener(new IMenuListener() {
-            public void menuAboutToShow(IMenuManager manager) {
+        menuMgr.addMenuListener(new IMenuListener()
+        {
+            public void menuAboutToShow(IMenuManager manager)
+            {
                 ProjectsView.this.fillContextMenu(manager);
             }
@@ -129 +165 @@
     }
 
+    @Override
+    public void dispose()
+    {
+        super.dispose();
+        ResourcesPlugin.getWorkspace().removeResourceChangeListener(resourceListener);
+    }
+
 }