Re: [pgAdmin4][RM3865] Difficult to resize Query Tool

Поиск
Список
Период
Сортировка
От Ashesh Vashi
Тема Re: [pgAdmin4][RM3865] Difficult to resize Query Tool
Дата
Msg-id CAG7mmow1GxLUKqXJpgQ_MkH=QpzyOFBy=DWUMk5LhEHuqGOTaQ@mail.gmail.com
обсуждение исходный текст
Ответ на [pgAdmin4][RM3865] Difficult to resize Query Tool  (Aditya Toshniwal <aditya.toshniwal@enterprisedb.com>)
Ответы Re: [pgAdmin4][RM3865] Difficult to resize Query Tool  (Akshay Joshi <akshay.joshi@enterprisedb.com>)
Список pgadmin-hackers
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.

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.linkedin.com/in/asheshvashi



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"

В списке pgadmin-hackers по дате отправления:

Предыдущее
От: Akshay Joshi
Дата:
Сообщение: Re: [pgAdmin4][RM3865] Difficult to resize Query Tool
Следующее
От: Akshay Joshi
Дата:
Сообщение: Re: [pgAdmin4][RM3865] Difficult to resize Query Tool