Undo Action does not work after navigating between matches from the search view using the navigation arrows

- [x] I verified I can reproduce this issue against [latest Integration Build of Eclipse SDK](https://download.eclipse.org/eclipse/downloads/)

## Steps to reproduce

This issue is reproducible starting from a fresh installation and clean workspace.
Here are the steps to reproduce using any desired project:
- Open an editor.
- Make a change inside this editor (to have the undo operation available).
- Search for a text that has occurrences across multiple files.
- Navigate between matches using the "Show Next Match" and "Show Previous Match" arrows from the Search View until a match from another file is reached (make sure that this file was not previously opened).
- Return to the initial editor.
- The undo action is not available anymore (the undo action from the toolbar appears greyed out, and the Ctrl + Z shortcut does not work; the only way to access the undo is to right-click on the editor and select the Undo action from the context menu).
- The issue persists even after more edits are performed inside the editor; you have to open and close the editor to get back to a normal state.

## No relevant info in the log output

## Tested under this environment:
* OS & version: Ubuntu 22.04.2 LTS
* Eclipse IDE/Platform version (as shown in *Help > About*): 2025-03 (4.35) I20240903-0240

## Community

- [x] I understand reporting an issue to this OSS project does not mandate anyone to fix it. Other contributors may consider the issue, or not, at their own convenience. The most efficient way to get it fixed is that I fix it myself and contribute it back as a good quality patch to the project.