Re: [pgAdmin4][RM3865] Difficult to resize Query Tool
От | Akshay Joshi |
---|---|
Тема | Re: [pgAdmin4][RM3865] Difficult to resize Query Tool |
Дата | |
Msg-id | CANxoLDehxm2pfHNjdU2D7HysO4+0vge0_F7S8MpB-Sr8aZCQPw@mail.gmail.com обсуждение исходный текст |
Ответ на | Re: [pgAdmin4][RM3865] Difficult to resize Query Tool (Ashesh Vashi <ashesh.vashi@enterprisedb.com>) |
Ответы |
Re: [pgAdmin4][RM3865] Difficult to resize Query Tool
|
Список | pgadmin-hackers |
Hi Dave
On Wed, Jan 30, 2019 at 2:32 PM Ashesh Vashi <ashesh.vashi@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.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 ToshniwalSoftware 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
Mobile: +91 976-788-8246
В списке pgadmin-hackers по дате отправления: