1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-07-09 10:05:24 +02:00

Bug 160284 -on delete event mark the container as stale to get proper refresh in table

This commit is contained in:
David McKnight 2006-10-19 18:52:31 +00:00
parent d95783b787
commit 6ab5025b7c

View file

@ -1058,6 +1058,11 @@ public class SystemTableView
{ {
if (!madeChange) if (!madeChange)
{ {
if (_objectInput instanceof ISystemContainer)
{
((ISystemContainer)_objectInput).markStale(true);
}
provider.flushCache(); provider.flushCache();
madeChange = true; madeChange = true;