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

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(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
>