theia-blueprint icon indicating copy to clipboard operation
theia-blueprint copied to clipboard

Published 20 hours ago • verified publisher icon eclipse-theia

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

Open vladarama opened this issue 1 year ago • 1 comments

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

  • Operating System: Windows 10
  • Theia Version: 1.43

vladarama avatar Nov 15 '23 14:11 vladarama