Skip to content

Added a new preference category for the editor. #8861 - #8959

Merged
akshay-joshi merged 1 commit into
pgadmin-org:masterfrom
pravesh-sharma:GH-8861
Jul 28, 2025
Merged

Added a new preference category for the editor. #8861#8959
akshay-joshi merged 1 commit into
pgadmin-org:masterfrom
pravesh-sharma:GH-8861

Commits

Commits on Jul 28, 2025