Attached is the patch for changes required in pgAdmin accordingly. I have kept the total hover width as $splitter-hover-width:5px, which can be changed.
Kindly review.
--
Thanks and Regards,
Aditya Toshniwal
Software Engineer | EnterpriseDB Software Solutions | Pune
"Don't Complain about Heat, Plant a tree"
--
Akshay Joshi
Sr. Software Architect
Phone: +91 20-3058-9517 Mobile: +91 976-788-8246
--
Dave Page VP, Chief Architect, Tools & Installers EnterpriseDB: http://www.enterprisedb.com The Enterprise PostgreSQL Company