Code

12970 Fixes hover widget jumping#12971

Code

Merged

planger merged 3 commits intoeclipse-theia:mastereclipse-theia/theia:masterfrom Zebsterpasha:bugfix/12970Zebsterpasha/theia:bugfix/12970Copy head branch name to clipboardOct 12, 2023

+18

Commits

Commits on Oct 2, 2023

• 12970 Fixes hover widget jumping

  Zebsterpasha

  committed
  b03b438

• 12970 Fixes variable name

  Zebsterpasha

  committed
  63d7372

Commits on Oct 11, 2023

• 12970 Fixed behavior if there is a pluginExpressionProvider

  Zebsterpasha

  committed
  c034108