Skip to content

Commit

Permalink
[lumino] lumino patch
Browse files Browse the repository at this point in the history
Adds the patch for Lumino which achieves the following:
- Make sure listeners are registered on the correct document. This is
  necessary for secondary window support.
- Make sure empty menus can be opened. This is required as Theia
  fills menus right before they are shown, so they seem to be empty.

Contributed on behalf of STMicroelectronics
  • Loading branch information
sdirix committed Oct 15, 2024
1 parent d8b6b24 commit c4fbdd9
Showing 1 changed file with 167 additions and 0 deletions.
167 changes: 167 additions & 0 deletions dev-packages/cli/patches/@lumino+widgets+2.5.0.patch

Large diffs are not rendered by default.

0 comments on commit c4fbdd9

Please sign in to comment.