Bug Description:

Steps to Reproduce:

1. Code in Theia and navigate to the definition of a symbol using ctrl+click (ideally defined outside the current file)
2. use the back navigation to go back to the file you came from
3. try to navigate to the symbol again

Unfortunately this is not 100% guaranteed to lead to the issue. You have sometime to navigate to multiple different symbols and go back and forth. After some time symbols cannot be navigated to anymore.

Additional Information

• Operating System: Ubuntu 22.04.5
• Theia Version: 1.58.100