mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-08-04 23:05:47 +02:00
Code Issues Wiki Activity

[190015] [performance] Remove All Match's from Search Results Takes a while

Browse source
This commit is contained in:
David McKnight 2009-08-04 15:20:17 +00:00
parent e1dc9724a3
commit b62a6d3fab
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
rse/plugins/org.eclipse.rse.ui/UI/org/eclipse/rse/internal/ui/view/search/SystemSearchViewPart.java
View file

@ -17,6 +17,7 @@
* Kevin Doyle (IBM) - [242431] Register a new unique context menu id, so contributions can be made to all our views * Kevin Doyle (IBM) - [242431] Register a new unique context menu id, so contributions can be made to all our views
* David McKnight (IBM) - [250169] Problems with extending the menu's of results in Remote Search View * David McKnight (IBM) - [250169] Problems with extending the menu's of results in Remote Search View
* David McKnight (IBM) - [214395] Properties View not updated when clicking on Search Results * David McKnight (IBM) - [214395] Properties View not updated when clicking on Search Results
* David McKnight (IBM) - [190015] [performance] Remove All Match's from Search Results Takes a while
*******************************************************************************/ *******************************************************************************/
package org.eclipse.rse.internal.ui.view.search; package org.eclipse.rse.internal.ui.view.search;
@ -888,7 +889,8 @@ public class SystemSearchViewPart extends ViewPart
// but flush cache of the provider first for an accurate refresh // but flush cache of the provider first for an accurate refresh
SystemTableTreeViewProvider provider = (SystemTableTreeViewProvider)(tableView.getContentProvider()); SystemTableTreeViewProvider provider = (SystemTableTreeViewProvider)(tableView.getContentProvider());
provider.flushCache(); provider.flushCache();
tableView.refresh(); Tree tree = tableView.getTree();
tree.removeAll();
} }
// other search // other search
else if (currentViewer instanceof TreeViewer){ else if (currentViewer instanceof TreeViewer){