Received: from malur.postgresql.org ([217.196.149.56]) by arkaria.postgresql.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_CBC_SHA1:256) (Exim 4.89) (envelope-from ) id 1gom04-0004e4-2Y for pgadmin-hackers@arkaria.postgresql.org; Wed, 30 Jan 2019 09:17:40 +0000 Received: from localhost ([127.0.0.1] helo=malur.postgresql.org) by malur.postgresql.org with esmtp (Exim 4.89) (envelope-from ) id 1gom02-0003kI-Sm for pgadmin-hackers@arkaria.postgresql.org; Wed, 30 Jan 2019 09:17:38 +0000 Received: from makus.postgresql.org ([2001:4800:3e1:1::229]) by malur.postgresql.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_CBC_SHA1:256) (Exim 4.89) (envelope-from ) id 1gom02-0003k5-Jz for pgadmin-hackers@lists.postgresql.org; Wed, 30 Jan 2019 09:17:38 +0000 Received: from mail-qk1-x742.google.com ([2607:f8b0:4864:20::742]) by makus.postgresql.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_CBC_SHA1:256) (Exim 4.89) (envelope-from ) id 1golzz-00050G-Go for pgadmin-hackers@postgresql.org; Wed, 30 Jan 2019 09:17:37 +0000 Received: by mail-qk1-x742.google.com with SMTP id 189so13252660qkj.8 for ; Wed, 30 Jan 2019 01:17:35 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=enterprisedb-com.20150623.gappssmtp.com; s=20150623; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=0bE6jxhvdJPKI5ExfQZV5wtKMM5Ojzvk7AdNsYxTQEc=; b=lk0jjqGqFeeXm5szRFX5I2UClpazh3kBcWVLbmUHKqZ8c3n4R8lwtSWwDyBut7oFSe bdp7aeGxZRMr0fmiNNri0xZkPmpL0xff2UwmPQLbJFKGXxkSebiRQPzFm24WTbH2GEk0 4zfRkJLFcx3tVyJ8sL0EE6y8jOL3/IkuINGiq4N4Q17QhhmQaUq/mtQh7nyqy9oIxk2n eN9X2ihn025FgXAvvDc1oTIKP6ZFVre7juPjzBqWlxkuy/i4fL6XdHS6ttIHOEusPIh9 r6aDGUU6NC7wwFoyGU7/UKXtkv1I9uFVicJwh7SHYDFhpgX51uFh2ZgxjjO0JdIe9n0m TouA== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=0bE6jxhvdJPKI5ExfQZV5wtKMM5Ojzvk7AdNsYxTQEc=; b=Wjug7vvOiFomu7eFgQ5RXmomhsA2iyAg6Ea6lWCe3UvjjIIp7kztEKxvkawkQ4mtYm Al8mM+l9lSdOCJHTPPAfxFy3CqLzJA4o0sKJloRDaLdx2NFPlQI8tH4oW3pUHTcvNyST dWHrmIKuXgIk04MwU+Nau31ynxwIPAjhi9NySICkKlSmj+nT12laSWBdlba32eo9vyKo /0CDhXPUzYWil6vPM/Kgg6wG0Fi3PZpVTaxnZeBv323SQ11ylx/LD0zlD1g05CbbvGpu dcxvDZyhqmjIFFGRd6NT0G1ZRbAzNKCCGyZWFWCJIYgCafLCohYYr2Wb0n21UhjP/+hR ghxQ== X-Gm-Message-State: AJcUukch40a64On7C2KzQgePPU7Y0N0t5pjH4zh7EjizBjt3BgbKY+na bdjL06I1akR0CBbu2ChdihL5LLK1tDC+6iCbnMJNxg== X-Google-Smtp-Source: ALg8bN6g25Yh7lkN3OKZ2asYdQS3lQY1JWKZWFIBxYpQMyqpGcz159Y9iM6H5pwXjai3ccF2v/zEyH+7zgdCrHvPrUg= X-Received: by 2002:a37:90c3:: with SMTP id s186mr26610025qkd.339.1548839854524; Wed, 30 Jan 2019 01:17:34 -0800 (PST) MIME-Version: 1.0 References: In-Reply-To: From: Akshay Joshi Date: Wed, 30 Jan 2019 14:47:23 +0530 Message-ID: Subject: Re: [pgAdmin4][RM3865] Difficult to resize Query Tool To: Dave Page Cc: pgadmin-hackers , Aditya Toshniwal , Ashesh Vashi Content-Type: multipart/alternative; boundary="00000000000057e39e0580a96173" List-Id: List-Help: List-Subscribe: List-Post: List-Owner: List-Archive: Precedence: bulk --00000000000057e39e0580a96173 Content-Type: text/plain; charset="UTF-8" Hi Dave On Wed, Jan 30, 2019 at 2:32 PM Ashesh Vashi 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. > > -- > > 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" >> > -- *Akshay Joshi* *Sr. Software Architect * *Phone: +91 20-3058-9517Mobile: +91 976-788-8246* --00000000000057e39e0580a96173 Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable
Hi Dave

On Wed, Jan 30, 2019 at 2:32 PM Ashesh Vashi = <ashe= sh.vashi@enterprisedb.com> wrote:
Hi Dave,

I was having conversation with Aditya about "What sh= ould be the mouse hover (resize selection) area of the splitters?".
I asked him to set it to 5px.

=C2=A0 =C2=A0 I have committed with 7px which looks good, but it wou= ld be good to have your opinion on this. You will have to run "Yarn In= stall" to test this.=C2=A0=C2=A0

But - he has differe= nt opinion, was in favor to keep it around '11px'.

Please advise.

--

Thanks & Re= gards,

Ashesh Vashi
EnterpriseDB INDIA: Enterprise P= ostgreSQL Company


http://www.linkedin.com/in/asheshvashi



On Wed, Jan 30, 2019 at 12:32 PM Aditya Toshn= iwal <aditya.toshniwal@enterprisedb.com> wrote:
Hi Hackers,

With my pull request for changes in wcDocker m= erged (https://github.com/Enter= priseDB/wcDocker/commit/9cf81f03bb350b76b77a264f1db5d55391d5e424), we a= re 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 acc= ordingly. I have kept the total hover width as=C2=A0$splitter-hover-width:5= px, which can be changed.

Kindly review.

--
Thanks and Regards,
Aditya Toshniwal
Software Engineer |=C2=A0EnterpriseDB S= oftware Solutions |=C2=A0Pune
"Don't Complain about Heat,= Plant a tree"
=


--
Aksh= ay Joshi
Sr. Software Architect


Phone: +91 20-3058-9517
Mobile: +91= 976-788-8246
--00000000000057e39e0580a96173--