public inbox for [email protected]
help / color / mirror / Atom feedFrom: Akshay Joshi <[email protected]>
To: Aditya Toshniwal <[email protected]>
Cc: pgadmin-hackers <[email protected]>
Subject: Re: [pgAdmin4][RM3865] Difficult to resize Query Tool
Date: Wed, 30 Jan 2019 14:27:09 +0530
Message-ID: <CANxoLDdJm7jECSO=VeNpQjRX51N=mzSChVQaRmnmM1OLqJLVbw@mail.gmail.com> (raw)
In-Reply-To: <CAM9w-_=MWokjGRTBK8FnxGn==cEeHzNFi8c63q2f=x0RpiKHCg@mail.gmail.com>
References: <CAM9w-_=MWokjGRTBK8FnxGn==cEeHzNFi8c63q2f=x0RpiKHCg@mail.gmail.com>
Thanks patch applied.
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*
view thread (5+ messages) latest in thread
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]
Subject: Re: [pgAdmin4][RM3865] Difficult to resize Query Tool
In-Reply-To: <CANxoLDdJm7jECSO=VeNpQjRX51N=mzSChVQaRmnmM1OLqJLVbw@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