Re: [PATCH] Added a menu option to disable code folding - Mailing list pgadmin-hackers

From Kaarel Moppel
Subject Re: [PATCH] Added a menu option to disable code folding
Date
Msg-id CA+gt1FcdSNdxn-hPPKaNJkew5vsiru=xFHfYJp9DzrHJGVXTOg@mail.gmail.com
Whole thread Raw
In response to Re: [PATCH] Added a menu option to disable code folding  (Dave Page <dpage@pgadmin.org>)
Responses Re: [PATCH] Added a menu option to disable code folding  (Dave Page <dpage@pgadmin.org>)
List pgadmin-hackers
Ok, sending my screenshot. And well yeah, I do understand that's a very subjective matter, but I have never seen anyone clicking those folding buttons (I interact with dozens of database developers) so that would be a nice little anti-distraction feat.


On Thu, Jan 9, 2014 at 11:48 AM, Dave Page <dpage@pgadmin.org> wrote:
On Wed, Jan 8, 2014 at 10:49 PM, Kaarel Moppel <kaarel.moppel@gmail.com> wrote:
> Hmm, I'm not sure if we're talking about the same thing now, yes I don't
> have to click that but I mean for me there's just no way to look pass that.
> The clickable box with the minus sign together with the downstretching line
> that appears in the left gutter after typing in a pair of parentheses is
> just too  unproportionally big (I'm under Ubuntu) to be ignored. Having an
> option can't really hurt here I think.

Can you give us a screenshot please? It's a trivial amount of space on
the various platforms I use.


> On Mon, Jan 6, 2014 at 10:35 AM, Dave Page <dpage@pgadmin.org> wrote:
>>
>> On Sun, Jan 5, 2014 at 10:19 PM, Kaarel Moppel <kaarel.moppel@gmail.com>
>> wrote:
>> > Checkbox resides under "Options -> Query tool -> Query editor".
>>
>> Why is this needed? If you don't want code folding, you can just not
>> use it surely?
>>
>>
>> --
>> Dave Page
>> Blog: http://pgsnake.blogspot.com
>> Twitter: @pgsnake
>>
>> EnterpriseDB UK: http://www.enterprisedb.com
>> The Enterprise PostgreSQL Company
>
>



--
Dave Page
Blog: http://pgsnake.blogspot.com
Twitter: @pgsnake

EnterpriseDB UK: http://www.enterprisedb.com
The Enterprise PostgreSQL Company

Attachment

pgadmin-hackers by date:

Previous
From: Kaarel Moppel
Date:
Subject: Re: [PATCH] Add a menu option for disabling restoration of previous environment on reconnect
Next
From: Ashesh Vashi
Date:
Subject: Re: [PATCH] fix newly added server being lost when crashing