Hi Hackers, With my pull request for changes in wcDocker merged ( https://github.com/EnterpriseDB/wcDocker/commit/9cf81f03bb350b76b77a264f1db5d55391d5e424), we are now able to increase the mouse hover area of the frame splitters without increasing visible splitter lines width. 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"
RM3865.patch
Description: Binary data
