pgAdmin 4 commit: Added options 'Ignore owner' and 'Ignore whitespace' - Mailing list pgadmin-hackers

Added options 'Ignore owner' and 'Ignore whitespace' to the schema diff panel. Fixes #7282

Branch
------
master

Details
-------
https://git.postgresql.org/gitweb?p=pgadmin4.git;a=commitdiff;h=1ac13a27889fdf43afc4311543dfaffad73d62f4

Modified Files
--------------
docs/en_US/images/preferences_schema_diff.png      | Bin 118589 -> 113399 bytes
docs/en_US/images/schema_diff_compare_button.png   | Bin 95363 -> 97726 bytes
.../images/schema_diff_comparison_results.png      | Bin 226990 -> 202576 bytes
docs/en_US/images/schema_diff_dialog.png           | Bin 126941 -> 114955 bytes
docs/en_US/images/schema_diff_filter_option.png    | Bin 169845 -> 171462 bytes
docs/en_US/preferences.rst                         |   2 +-
docs/en_US/release_notes_6_9.rst                   |   1 +
docs/en_US/schema_diff.rst                         |   6 ++
.../databases/schemas/tables/schema_diff_utils.py  |  14 ++++-
web/pgadmin/tools/schema_diff/__init__.py          |  65 +++++++++++++++------
web/pgadmin/tools/schema_diff/compare.py           |   6 +-
web/pgadmin/tools/schema_diff/directory_compare.py |  35 ++++++-----
.../tools/schema_diff/static/css/schema_diff.css   |   6 ++
.../schema_diff/static/js/schema_diff.backform.js  |  24 +++++++-
.../tools/schema_diff/static/js/schema_diff_ui.js  |  29 +++++++++
15 files changed, 149 insertions(+), 39 deletions(-)