search

eclipse-theia / theia-ide

The Eclipse IDE is a modern and open IDE for cloud and desktop. The Theia IDE is based on the Theia platform. The Theia IDE is available as a downloadable desktop application. You can also try the latest version of the Theia IDE online. For more details, see the Readme below.
https://theia-ide.org/#theiaide
MIT License
343 stars 129 forks source link

bug: `go to definition` is blocked by application header #314

Open vladarama opened 11 months ago

vladarama commented 11 months ago

Bug Description:

This bug is only present on Blueprint, the Theia browser and electron example applications do not have this issue.

Demo: blueprint - go to definition blocked

Steps to Reproduce:

  1. Open Blueprint.
  2. Open an editor.
  3. Right-click on anything in the upper-half of the page to open the context menu.
  4. Try clicking on Go To Definition (Ctrl +F12).
  5. It will not work and the hover styling will not apply.

Additional Information

jfaltermeier commented 11 months ago

Thank you for the report. I wasn't able to reproduce the issue on Ubuntu but on Windows as well. It seems to occur when the top of the context menu and the application's menubar/toolbar are overlapping. With this I was also able to reproduce it with the plain Theia Electron Example: Peek 2023-11-17 10-48