Attachment 62480 Details for Bug 175507 – Fix patch refreshed to head

Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.

[patch] Fix patch refreshed to head

patch_175507_20070330.txt (text/plain), 2.36 KB, created by Krzysztof Michalski

on 2007-03-30 08:03:50 EDT

(hide)

Description:

Filename:

MIME Type:

Creator: Krzysztof Michalski

Created: 2007-03-30 08:03:50 EDT

Size: 2.36 KB

patch

obsolete

>### Eclipse Workspace Patch 1.0
>#P org.eclipse.ui.workbench
>Index: Eclipse UI/org/eclipse/ui/dialogs/FilteredItemsSelectionDialog.java
>===================================================================
>RCS file: /cvsroot/eclipse/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/dialogs/FilteredItemsSelectionDialog.java,v
>retrieving revision 1.38
>diff -u -r1.38 FilteredItemsSelectionDialog.java
>--- Eclipse UI/org/eclipse/ui/dialogs/FilteredItemsSelectionDialog.java	29 Mar 2007 18:45:45 -0000	1.38
>+++ Eclipse UI/org/eclipse/ui/dialogs/FilteredItemsSelectionDialog.java	30 Mar 2007 12:03:12 -0000
>@@ -87,6 +87,7 @@
> import org.eclipse.swt.widgets.Label;
> import org.eclipse.swt.widgets.Menu;
> import org.eclipse.swt.widgets.Shell;
>+import org.eclipse.swt.widgets.Table;
> import org.eclipse.swt.widgets.Text;
> import org.eclipse.swt.widgets.ToolBar;
> import org.eclipse.swt.widgets.ToolItem;
>@@ -809,7 +810,7 @@
> 		if (list != null && !list.getTable().isDisposed()) {
> 
> 			list.setItemCount(contentProvider.getElements(null).length);
>-			list.refresh();
>+			contentProvider.internalRefresh();
> 
> 			if (list.getTable().getItemCount() > 0) {
> 				list.getTable().setSelection(0);
>@@ -2488,6 +2489,43 @@
> 		public void refresh() {
> 			scheduleRefresh();
> 		}
>+		
>+			private void internalRefresh() {
>+
>+			int lastFilteredItemsSize = lastFilteredItems.size();
>+
>+			if (lastFilteredItems.size() != items.size())
>+				reloadCache(false, null);
>+
>+			Table table = list.getTable();
>+			if (table.getItemCount() == 0 || lastFilteredItemsSize == 0 || lastCompletedFilter == null) {
>+				list.refresh(true);
>+			} else {
>+				int topVisible = table.getTopIndex();
>+				int numberOfVisible = table.getClientArea().height
>+						/ table.getItems()[0].getBounds().height + 1;
>+				for (int i = 0; i < numberOfVisible; i++) {
>+
>+					int index = topVisible + i;
>+					Object newElement = null;
>+					Object oldElement = list.getElementAt(index);
>+
>+					if (index < lastFilteredItems.size()) {
>+						newElement = lastFilteredItems.get(index);
>+					}
>+
>+					if (newElement != null && oldElement != null
>+							&& !newElement.equals(oldElement)) {
>+						if (index >= table.getItemCount()) {
>+							list.add(newElement);
>+						} else {
>+							list.replace(newElement, index);
>+						}
>+					}
>+
>+				}
>+			}
>+		}
> 
> 		/**
> 		 * Sets progress message.

Actions: View | Diff

Attachments on bug 175507: 59877 | 62480 | 63110 | 64188