Code

shell: Even more types#21425

Code

Merged

martinpitt merged 7 commits intocockpit-project:maincockpit-project/cockpit:mainfrom mvollmer:shell-typing-3mvollmer/cockpit:shell-typing-3Copy head branch name to clipboardDec 18, 2024

+320-159

Commits

Commits on Dec 17, 2024

• shell: Improve Location type a bit

  Show description for be7f518
  mvollmer

  committed
  be7f518

• shell: Improve manifest types

  Show description for 3fd766d
  mvollmer

  committed
  3fd766d

• shell: Fully type "nav"

  mvollmer

  committed
  edf067a

• shell: Fully type "topnav"

  mvollmer

  committed
  ae879ef

• shell: Check types in "shell-modals"

  mvollmer

  committed
  7e96a90

• shell: Fix bugs found by TypeScript

  Show description for 9c19728
  mvollmer

  committed
  9c19728

Commits on Dec 18, 2024

• test: Robustify opening the host switcher in more places

  mvollmer

  committed
  a14ba82