Starting pgadmin 4 (4.25), the schema filter drop down disappeared in the
schema compare tool. Now the tool compares the who database, all schemas, no
choice. Ouch. What can be the reason for dropping the schema selection in a
tool called Schema compare? 4.24 still has the schema filter.
Thank you
Endre