diff options
| author | Andre Weinand | 2002-05-30 08:32:01 +0000 |
|---|---|---|
| committer | Andre Weinand | 2002-05-30 08:32:01 +0000 |
| commit | 2bb9b81eeb8ca06b37258e53d0c99ca435fcdf05 (patch) | |
| tree | a32900832f44528b94db806a120136d94be13d42 /bundles/org.eclipse.compare/compare/org/eclipse/compare/internal | |
| parent | 27a65470e3f6d1d3432a18ec91329351314eabff (diff) | |
| download | eclipse.platform.team-2bb9b81eeb8ca06b37258e53d0c99ca435fcdf05.tar.gz eclipse.platform.team-2bb9b81eeb8ca06b37258e53d0c99ca435fcdf05.tar.xz eclipse.platform.team-2bb9b81eeb8ca06b37258e53d0c99ca435fcdf05.zip | |
#16288: Add from Local History: list of available editions flashes
Diffstat (limited to 'bundles/org.eclipse.compare/compare/org/eclipse/compare/internal')
| -rw-r--r-- | bundles/org.eclipse.compare/compare/org/eclipse/compare/internal/AddFromHistoryDialog.java | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/bundles/org.eclipse.compare/compare/org/eclipse/compare/internal/AddFromHistoryDialog.java b/bundles/org.eclipse.compare/compare/org/eclipse/compare/internal/AddFromHistoryDialog.java index f9740c0a9..58635a671 100644 --- a/bundles/org.eclipse.compare/compare/org/eclipse/compare/internal/AddFromHistoryDialog.java +++ b/bundles/org.eclipse.compare/compare/org/eclipse/compare/internal/AddFromHistoryDialog.java @@ -256,11 +256,13 @@ public class AddFromHistoryDialog extends ResizableDialog { String title= MessageFormat.format(pattern, new Object[] { file.getName() }); fEditionPane.setText(title); - if (fEditionTree != null) { + if (fEditionTree != null) { + fEditionTree.setRedraw(false); fEditionTree.removeAll(); for (int i= 0; i < states.length; i++) { addEdition(new HistoryInput(file, states[i]), h.isSelected(i)); } + fEditionTree.setRedraw(true); } } else fCurrentFileHistory= null; |