Use the new DB editor facilities in Toolbox#233

Merged

soininen merged 1 commit intomasterfrom drop_codenames

Nov 1, 2024

+67-50

Commits on Nov 1, 2024

Replace DB codenames by DB manager's database name registry
soininen
committed