pgAdmin 4 commit: 1. Switch control and CodeMirror control UI improveme - Mailing list pgadmin-hackers

1. Switch control and CodeMirror control UI improvements for read-only and disabled states.
2. If a form input value changes to null, pass it as an empty string in URL params.
3. Use server_type instead of type from the server info.

Branch
------
master

Details
-------
https://git.postgresql.org/gitweb?p=pgadmin4.git;a=commitdiff;h=dc8ab7cd2ac9c7b0b2ed90d7482e42d4278ecf80
Author: Aditya Toshniwal <aditya.toshniwal@enterprisedb.com>

Modified Files
--------------
.../tables/triggers/static/js/trigger.ui.js        |  2 +-
web/pgadmin/browser/static/js/node_view.jsx        |  2 +-
web/pgadmin/static/js/SchemaView/index.jsx         |  4 ++++
web/pgadmin/static/js/Theme/index.jsx              | 28 ++++++++++++++++++++++
web/pgadmin/static/js/components/CodeMirror.jsx    | 22 ++++++++++++++++-
.../static/js/components/FormComponents.jsx        | 17 +++++++------
.../javascript/components/CodeMirror.spec.js       | 11 ++++++++-
7 files changed, 75 insertions(+), 11 deletions(-)