public inbox for [email protected]
help / color / mirror / Atom feedFrom: Dave Page <[email protected]>
To: Akshay Joshi <[email protected]>
Cc: pgadmin-hackers <[email protected]>
Cc: Aditya Toshniwal <[email protected]>
Cc: Ashesh Vashi <[email protected]>
Subject: Re: [pgAdmin4][RM3865] Difficult to resize Query Tool
Date: Thu, 31 Jan 2019 13:36:30 +0000
Message-ID: <CA+OCxoz_vN4tck670FHe8mgb7hKzmccv2PPW7twOYvigzpuwgA@mail.gmail.com> (raw)
In-Reply-To: <CANxoLDehxm2pfHNjdU2D7HysO4+0vge0_F7S8MpB-Sr8aZCQPw@mail.gmail.com>
References: <CAM9w-_=MWokjGRTBK8FnxGn==cEeHzNFi8c63q2f=x0RpiKHCg@mail.gmail.com>
<CAG7mmow1GxLUKqXJpgQ_MkH=QpzyOFBy=DWUMk5LhEHuqGOTaQ@mail.gmail.com>
<CANxoLDehxm2pfHNjdU2D7HysO4+0vge0_F7S8MpB-Sr8aZCQPw@mail.gmail.com>
On Wed, Jan 30, 2019 at 10:17 AM Akshay Joshi <[email protected]>
wrote:
> Hi Dave
>
> On Wed, Jan 30, 2019 at 2:32 PM Ashesh Vashi <
> [email protected]> 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.
>
Seems fine to me. Thanks.
>
>> 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 <
>> [email protected]> 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*
>
--
Dave Page
VP, Chief Architect, Tools & Installers
EnterpriseDB: http://www.enterprisedb.com
The Enterprise PostgreSQL Company
Blog: http://pgsnake.blogspot.com
Twitter: @pgsnake
view thread (5+ messages)
reply
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Reply to all the recipients using the --to and --cc options:
reply via email
To: [email protected]
Cc: [email protected], [email protected], [email protected], [email protected]
Subject: Re: [pgAdmin4][RM3865] Difficult to resize Query Tool
In-Reply-To: <CA+OCxoz_vN4tck670FHe8mgb7hKzmccv2PPW7twOYvigzpuwgA@mail.gmail.com>
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
This inbox is served by agora; see mirroring instructions
for how to clone and mirror all data and code used for this inbox