Hi Dave, I was having conversation with Aditya about "What should be the mouse hover (resize selection) area of the splitters?". I asked him to set it to 5px.
But - he has different opinion, was in favor to keep it around '11px'. Please advise. -- Thanks & Regards, Ashesh Vashi EnterpriseDB INDIA: Enterprise PostgreSQL Company <http://www.enterprisedb.com> *http://www.linkedin.com/in/asheshvashi* <http://www.linkedin.com/in/asheshvashi> On Wed, Jan 30, 2019 at 12:32 PM Aditya Toshniwal < aditya.toshni...@enterprisedb.com> wrote: > 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" >
