Fixed following issues for Schema Diff:
1) When some option from filter is selected, that particular type should be completely removed from top level result
insteadof showing identical:0
2) Copy button is missing for Difference SQL
3) Throw error when source & target server versions selected are different
4) In High contrast - Font color for identical turns same as background.
5) In High contrast - Checkbox box column turns same color of row resulting unable to distingiush about selection of
item.
refs #6133
Branch
------
master
Details
-------
https://git.postgresql.org/gitweb?p=pgadmin4.git;a=commitdiff;h=ab5d53f3b17074928b4002c650adab136960a853
Author: Nikhil Mohite <nikhil.mohite@enterprisedb.com>
Modified Files
--------------
web/pgadmin/static/js/Theme/dark.js | 3 +-
web/pgadmin/static/js/Theme/high_contrast.js | 3 +-
web/pgadmin/static/js/Theme/standard.js | 3 +-
web/pgadmin/static/js/components/CodeMirror.jsx | 47 ++++++++++++++++++++--
.../static/js/components/ResultGridComponent.jsx | 21 ++++++----
.../schema_diff/static/js/components/Results.jsx | 5 +++
.../static/js/components/SchemaDiffCompare.jsx | 9 +++--
7 files changed, 73 insertions(+), 18 deletions(-)