diff options
author | Andrey Loskutov | 2021-12-03 16:25:19 +0000 |
---|---|---|
committer | Andrey Loskutov | 2021-12-03 17:05:41 +0000 |
commit | 68552872c9c4e978dbe1f77e7c25916c6e5f04c3 (patch) | |
tree | a55355b6a8d64a81f1263ca86658d5e9516fd75e | |
parent | 5727dc08a8657a164d0d4ff26eb7b847f3e9777e (diff) | |
download | eclipse.platform.text-68552872c9c4e978dbe1f77e7c25916c6e5f04c3.tar.gz eclipse.platform.text-68552872c9c4e978dbe1f77e7c25916c6e5f04c3.tar.xz eclipse.platform.text-68552872c9c4e978dbe1f77e7c25916c6e5f04c3.zip |
Bug 577616 - Quick text search shows obsoleted document contentY20211214-0600Y20211213-0600Y20211212-0600Y20211211-0600Y20211210-0600Y20211210-0210I20211214-1800I20211213-1800I20211213-0440I20211212-1800I20211211-1800I20211210-1800I20211210-1050I20211210-0600I20211209-1800I20211208-1800I20211207-1800I20211206-1800I20211205-1800I20211204-1800I20211204-0500I20211203-1800
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>
-rw-r--r-- | org.eclipse.text.quicksearch/src/org/eclipse/text/quicksearch/internal/ui/QuickSearchDialog.java | 2 |
1 files changed, 1 insertions, 1 deletions
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 873daad43f0..660757a2224 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 @@ public class QuickSearchDialog extends SelectionStatusDialog { //element is available in the list. openButton.setEnabled(itemCount>0); } - + refreshDetails(); } } |