On Wed, Jan 30, 2019 at 10:17 AM Akshay Joshi
wrote:
> 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?".
Hi Dave
On Wed, Jan 30, 2019 at 2:32 PM Ashesh Vashi
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
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 I
Thanks patch applied.
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 abl
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 patc
