Bug 577616 - Quick text search shows obsoleted document content

Added missing details widget refresh.

Change-Id: I33f12e37364039aa3c09c31cfb47ad37d3260de4
Signed-off-by: Andrey Loskutov <loskutov@gmx.de>
Reviewed-on: https://git.eclipse.org/r/c/platform/eclipse.platform.text/+/188511
Tested-by: Platform Bot <platform-bot@eclipse.org>

org.eclipse.text.quicksearch/src/org/eclipse/text/quicksearch/internal/ui/QuickSearchDialog.java

diff --git a/org.eclipse.text.quicksearch/src/org/eclipse/text/quicksearch/internal/ui/QuickSearchDialog.java b/org.eclipse.text.quicksearch/src/org/eclipse/text/quicksearch/internal/ui/QuickSearchDialog.java
index 873daad..660757a 100644
--- a/org.eclipse.text.quicksearch/src/org/eclipse/text/quicksearch/internal/ui/QuickSearchDialog.java
+++ b/org.eclipse.text.quicksearch/src/org/eclipse/text/quicksearch/internal/ui/QuickSearchDialog.java
@@ -1115,7 +1115,7 @@
 				//element is available in the list.
 				openButton.setEnabled(itemCount>0);
 			}
-
+			refreshDetails();
 		}
 	}