org.eclipse.ui.navigator.CommonViewer#refresh ( )源码实例Demo

下面列出了org.eclipse.ui.navigator.CommonViewer#refresh ( ) 实例代码,或者点击链接到github查看源代码,也可以在右侧发表评论。

源代码1 项目: spotbugs   文件: FilterBugsDialogAction.java
@Override
public void run(IAction action) {
    if (navigator == null) {
        return;
    }
    Set<BugPattern> filtered = FindbugsPlugin.getFilteredPatterns();
    Set<BugCode> filteredTypes = FindbugsPlugin.getFilteredPatternTypes();
    FilterBugsDialog dialog = new FilterBugsDialog(navigator.getSite().getShell(), filtered, filteredTypes);
    dialog.setTitle("Bug Filter Configuration");
    int result = dialog.open();
    if (result != Window.OK) {
        return;
    }
    String selectedIds = dialog.getSelectedIds();

    FindbugsPlugin.getDefault().getPreferenceStore().setValue(FindBugsConstants.LAST_USED_EXPORT_FILTER, selectedIds);

    BugContentProvider provider = BugContentProvider.getProvider(navigator.getNavigatorContentService());
    provider.refreshFilters();
    CommonViewer viewer = navigator.getCommonViewer();
    Object[] expandedElements = viewer.getExpandedElements();
    viewer.refresh(true);
    viewer.setExpandedElements(expandedElements);
}
 
源代码2 项目: spotbugs   文件: RefreshAction.java
@Override
public void run(IAction action) {
    if (navigator != null) {
        CommonViewer viewer = navigator.getCommonViewer();
        BugContentProvider provider = BugContentProvider.getProvider(navigator.getNavigatorContentService());
        // provider.setRefreshRequested(true);

        Object[] expandedElements = viewer.getExpandedElements();
        Object input = viewer.getInput();
        if (provider.getChildren(input).length == 0) {
            viewer.setInput(null);
            if (input instanceof IWorkingSet || input instanceof IWorkspaceRoot) {
                viewer.setInput(input);
            } else {
                viewer.setInput(ResourcesPlugin.getWorkspace().getRoot());
            }
            viewer.refresh(true);
        } else {
            provider.reSetInput();
        }
        viewer.setExpandedElements(expandedElements);
    }
}
 
源代码3 项目: spotbugs   文件: FilterPatternAction.java
@Override
public void run(IAction action) {
    Set<String> sortedIds = FindbugsPlugin.getFilteredIds();
    String patternType = getPatternOrPatternType();
    if (patternType != null) {
        if (!sortedIds.contains(patternType)) {
            sortedIds.add(patternType);
        } else {
            sortedIds.remove(patternType);
        }
    }
    String ids = FindBugsConstants.encodeIds(sortedIds);
    final IPreferenceStore store = FindbugsPlugin.getDefault().getPreferenceStore();
    store.setValue(FindBugsConstants.LAST_USED_EXPORT_FILTER, ids);
    BugContentProvider provider = BugContentProvider.getProvider(navigator.getNavigatorContentService());
    if (!provider.isBugFilterActive()) {
        MessageDialog.openWarning(null, "Toggle Filter", "Filtering by pattern or type id is currently not enabled!\n"
                + "To enable it, please select \"Toggle Filters...->Bugs by Id\" filter!");

    }
    provider.refreshFilters();
    CommonViewer viewer = navigator.getCommonViewer();
    Object[] expandedElements = viewer.getExpandedElements();
    viewer.refresh(true);
    viewer.setExpandedElements(expandedElements);
    data = null;
}
 
源代码4 项目: tlaplus   文件: ToolboxExplorer.java
/**
 * Refreshes the instance of the viewer if any
 */
public static void refresh()
{
    CommonViewer instance = getViewer();
    if (instance != null)
    {
        instance.refresh();
    }
}
 
源代码5 项目: olca-app   文件: Navigator.java
/**
 * Refresh the navigation view if it is available.
 */
public static void refresh() {
	CommonViewer viewer = getNavigationViewer();
	NavigationRoot root = getNavigationRoot();
	if (viewer == null || root == null)
		return;
	Object[] oldExpansion = viewer.getExpandedElements();
	root.update();
	viewer.refresh();
	setRefreshedExpansion(viewer, oldExpansion);
}
 
源代码6 项目: olca-app   文件: Navigator.java
/**
 * Refreshes the content *under* the given element.
 */
public static void refresh(INavigationElement<?> element) {
	CommonViewer viewer = getNavigationViewer();
	if (viewer == null || element == null)
		return;
	element.update();
	Object[] oldExpansion = viewer.getExpandedElements();
	viewer.refresh(element);
	updateLabels(viewer, element);
	if (oldExpansion == null)
		return;
	setRefreshedExpansion(viewer, oldExpansion);
}