[pgadmin-org/pgadmin4] 16d1df: Fixed an issue where schema diff tool is not loadi...

[Aditya Toshniwal]

  Branch: refs/heads/master
  Home:   https://github.com/pgadmin-org/pgadmin4
  Commit: 16d1df2a1b3ac0028acd697400dad98b5c2f05e9
      
https://github.com/pgadmin-org/pgadmin4/commit/16d1df2a1b3ac0028acd697400dad98b5c2f05e9
  Author: Aditya Toshniwal <aditya.toshni...@enterprisedb.com>
  Date:   2023-11-30 (Thu, 30 Nov 2023)

  Changed paths:
    M docs/en_US/release_notes_8_1.rst
    M web/pgadmin/static/js/helpers/withStandardTabInfo.jsx
    M web/pgadmin/tools/schema_diff/static/js/SchemaDiffModule.js
    M web/pgadmin/tools/schema_diff/static/js/components/InputComponent.jsx
    M web/pgadmin/tools/schema_diff/static/js/components/SchemaDiffCompare.jsx
    M web/pgadmin/tools/schema_diff/static/js/components/SchemaDiffComponent.jsx

  Log Message:
  -----------
  Fixed an issue where schema diff tool is not loading preferences on start. 
#7017