commit | 68552872c9c4e978dbe1f77e7c25916c6e5f04c3 | [log] [tgz] |
---|---|---|
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>