Hi Dave
On Wed, Jan 30, 2019 at 2:32 PM Ashesh Vashi <ashesh.va...@enterprisedb.com>
wrote:
> 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.
>
I have committed with 7px which looks good, but it would be good to
have your opinion on this. You will have to run "Yarn Install" to test
this.
>
> 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"
>>
>
--
*Akshay Joshi*
*Sr. Software Architect *
*Phone: +91 20-3058-9517Mobile: +91 976-788-8246*
