68552872c9c4e978dbe1f77e7c25916c6e5f04c3 - platform/eclipse.platform.text

commit: 68552872c9c4e978dbe1f77e7c25916c6e5f04c3
[log]
author: Andrey Loskutov <loskutov@gmx.de>
Fri Dec 03 17:25:19 2021 +0100
committer: Andrey Loskutov <loskutov@gmx.de>
Fri Dec 03 12:05:41 2021 -0500
tree: a55355b6a8d64a81f1263ca86658d5e9516fd75e
parent: 5727dc08a8657a164d0d4ff26eb7b847f3e9777e [diff]

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]

1 file changed