Re: [PATCH] Added a menu option to disable code folding

On Mon, Jan 13, 2014 at 12:15 AM, Kaarel Moppel <kaarel(dot)moppel(at)gmail(dot)com> wrote:
> 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.

I certainly have seen people use them, and do so myself on a regular
basis. I'm really not sure I understand how they are distracting.

I won't object further to this patch (though I'm also not going to
work on it myself), except to say the option needs to be on the View
menu, not in the Options dialogue.

> On Thu, Jan 9, 2014 at 11:48 AM, Dave Page <dpage(at)pgadmin(dot)org> wrote:
>>
>> On Wed, Jan 8, 2014 at 10:49 PM, Kaarel Moppel <kaarel(dot)moppel(at)gmail(dot)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(at)pgadmin(dot)org> wrote:
>> >>
>> >> On Sun, Jan 5, 2014 at 10:19 PM, Kaarel Moppel
>> >> <kaarel(dot)moppel(at)gmail(dot)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
>
>

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

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