Make it possible to choose between multiple planetary HiPS per planet#4459

Merged

10110111 merged 10 commits intomasterfrom

planetary-hips-gui

Aug 23, 2025

Commits on Aug 14, 2025

Convert surveys list widget to tree widget
10110111
committed

Commits on Aug 18, 2025

Make sure an unchecked survey is disabled
10110111
committed

Commits on Aug 19, 2025

Shift HiPS without "type" field by 180° in longitude
10110111
committed

Commits on Aug 22, 2025

Make sure visible HiPS item is checked in the tree
10110111
committed

Commits on Aug 23, 2025

Special-case (1) Ceres to be findable from HiPS frame
10110111
committed