Code

Dev UI fixes#33620

Code

Closed

phillip-kruger wants to merge 4 commits intoquarkusio:mainquarkusio/quarkus:mainfrom phillip-kruger:dev-ui-fixesphillip-kruger/quarkus:dev-ui-fixesCopy head branch name to clipboard

+345-56

Commits

Commits on May 26, 2023

• Add DevConsoleCORSFilter to Dev UI JsonRPC WebSocket

  Show description for 3e80dcd
  phillip-kruger

  committed
  3e80dcd

• Dev UI fix error in log on Hot Reload when properties change

  Show description for 500a2ea
  phillip-kruger

  committed
  500a2ea

• Dev UI Make sure user config is added to editor

  Show description for 1b24261
  phillip-kruger

  committed
  1b24261

• Do not show config filter if no filter exist

  Show description for 4750976
  phillip-kruger

  committed
  4750976