| From: | Aditya Toshniwal <aditya(dot)toshniwal(at)enterprisedb(dot)com> |
|---|---|
| To: | pgadmin-hackers <pgadmin-hackers(at)postgresql(dot)org> |
| Subject: | [pgAdmin4][RM3865] Difficult to resize Query Tool |
| Date: | 2019-01-30 07:02:30 |
| Message-ID: | CAM9w-_=MWokjGRTBK8FnxGn==cEeHzNFi8c63q2f=x0RpiKHCg@mail.gmail.com |
| Views: | Raw Message | Whole Thread | Download mbox | Resend email |
| Thread: | |
| Lists: | pgadmin-hackers |
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"
| Attachment | Content-Type | Size |
|---|---|---|
| RM3865.patch | application/octet-stream | 1.9 KB |
| From | Date | Subject | |
|---|---|---|---|
| Next Message | Akshay Joshi | 2019-01-30 07:35:06 | Re: [pgAdmin4][Patch]: RM 3927 Unable to debug the procedure inside package |
| Previous Message | Ashesh Vashi | 2019-01-30 06:26:10 | pgAdmin 4 commit: Override the font-family defined by bootstrap |