Re: [pgAdmin4][RM3865] Difficult to resize Query Tool - Mailing list pgadmin-hackers

From Akshay Joshi
Subject Re: [pgAdmin4][RM3865] Difficult to resize Query Tool
Date
Msg-id CANxoLDdJm7jECSO=VeNpQjRX51N=mzSChVQaRmnmM1OLqJLVbw@mail.gmail.com
Whole thread Raw
In response to [pgAdmin4][RM3865] Difficult to resize Query Tool  (Aditya Toshniwal <aditya.toshniwal@enterprisedb.com>)
List pgadmin-hackers
Thanks patch applied.

On Wed, Jan 30, 2019 at 12:32 PM Aditya Toshniwal <aditya.toshniwal@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-9517
Mobile: +91 976-788-8246

pgadmin-hackers by date:

Previous
From: Akshay Joshi
Date:
Subject: pgAdmin 4 commit: Increase frames splitter mouse hover area to makeit
Next
From: Ashesh Vashi
Date:
Subject: Re: [pgAdmin4][RM3865] Difficult to resize Query Tool