Fix the properties toolbar at the top of the panel so it's always visible.
Branch
------
master
Details
-------
http://git.postgresql.org/gitweb?p=pgadmin4.git;a=commitdiff;h=6e42e48244a7dfa8d300cd5184a0986360370cab
Author: Ashesh Vashi <ashesh(dot)vashi(at)enterprisedb(dot)com>
Modified Files
--------------
web/pgadmin/static/css/overrides.css | 7 +++++--
1 file changed, 5 insertions(+), 2 deletions(-)