pgAdmin 4 commit: Add the ability to enable/disable UI animations.Fixe - Mailing list pgadmin-hackers

Add the ability to enable/disable UI animations. Fixes #1978

Branch
------
master

Details
-------
https://git.postgresql.org/gitweb?p=pgadmin4.git;a=commitdiff;h=78051707832f37d35c46ff8c13c86906b331b0fb
Author: Khushboo Vashi <khushboo.vashi@enterprisedb.com>

Modified Files
--------------
docs/en_US/images/preferences_browser_display.png  | Bin 51492 -> 124191 bytes
docs/en_US/preferences.rst                         |   6 +-
docs/en_US/release_notes_3_0.rst                   |   4 +-
web/pgadmin/browser/__init__.py                    |  13 +++
web/pgadmin/browser/static/js/browser.js           |   9 +-
web/pgadmin/preferences/static/js/preferences.js   |  12 ++-
web/pgadmin/static/css/alertify.noanimation.css    |  41 +++++++++
web/pgadmin/static/js/modify_animation.js          |  57 +++++++++++++
web/pgadmin/templates/base.html                    |   1 +
web/pgadmin/tools/sqleditor/static/js/sqleditor.js |   5 +-
.../javascript/browser/modify_animation_spec.js    |  94 +++++++++++++++++++++
11 files changed, 234 insertions(+), 8 deletions(-)