mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-07-14 12:35:22 +02:00
Code Issues Wiki Activity

[173518] refreshing filters on remote refresh

Browse source
This commit is contained in:
David McKnight 2007-06-07 16:36:23 +00:00
parent 4bc6abcb61
commit ed6644c200
1 changed files with 12 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
rse/plugins/org.eclipse.rse.ui/UI/org/eclipse/rse/internal/ui/view/SystemView.java
View file

@ -2104,6 +2104,18 @@ public class SystemView extends SafeTreeViewer
ISystemViewElementAdapter adapter = getViewAdapter(src); ISystemViewElementAdapter adapter = getViewAdapter(src);
if (adapter != null) if (adapter != null)
{ {
// we need to refresh filters
ISystemRegistry sr = RSECorePlugin.getTheSystemRegistry();
List filterReferences = sr.findFilterReferencesFor(src, adapter.getSubSystem(src), false);
// if filters reference this resource we need them refreshed
for (int f = 0; f < filterReferences.size(); f++)
{
ISystemFilterReference ref = (ISystemFilterReference)filterReferences.get(f);
ref.markStale(true);
smartRefresh(ref, true);
}
boolean hasChildren = adapter.hasChildren((IAdaptable)src); boolean hasChildren = adapter.hasChildren((IAdaptable)src);
if (!hasChildren) if (!hasChildren)
{ {