Code

Dev UI small fixes#33660

Code

Merged

phillip-kruger merged 4 commits intoquarkusio:mainquarkusio/quarkus:mainfrom phillip-kruger:dev-ui-small-fixesphillip-kruger/quarkus:dev-ui-small-fixesCopy head branch name to clipboardJun 1, 2023

+405-58

Commits

Commits on May 31, 2023

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

  Show description for bb026b7
  phillip-kruger

  committed
  bb026b7

• Dev UI Make sure user config is added to editor

  Show description for 73e8756
  phillip-kruger

  committed
  73e8756

• Do not show config filter if no filter exist

  Show description for b95c6ec
  phillip-kruger

  committed
  b95c6ec

• Add ability to only show own properties

  Show description for 69e437c
  phillip-kruger

  committed
  69e437c