SQL pane font

Hello!

Tell me please, how can I change font in SQL pane window?

--
Regards,
Aleksey

Hi.

You can use Control key + mouse scroll wheel for instant resizing.
For a permanent setup take a look in the File->Options menu.

Regards,
Fernando.

On Wed, Oct 12, 2011 at 08:10, Aleksey Chirkin <a4irkin(at)gmail(dot)com> wrote:

> Hello!
>
> Tell me please, how can I change font in SQL pane window?
>
> --
> Regards,
> Aleksey
>
> --
> Sent via pgadmin-support mailing list (pgadmin-support(at)postgresql(dot)org)
> To make changes to your subscription:
> http://www.postgresql.org/mailpref/pgadmin-support
>

From: Fernando Hevia

> You can use Control key + mouse scroll wheel for instant resizing.
> For a permanent setup take a look in the File->Options menu.

That makes it a little difficult for me. The Logitech Marble Mouse
doesn't have a scroll wheel.

Bob McConnell

On Wed, 12 Oct 2011 14:19:53 -0400, "Bob McConnell" <rvm(at)CBORD(dot)com> wrote:
> From: Fernando Hevia
>
>> You can use Control key + mouse scroll wheel for instant resizing.
>> For a permanent setup take a look in the File->Options menu.
>
> That makes it a little difficult for me. The Logitech Marble Mouse
> doesn't have a scroll wheel.
>

You do understand that you can set it in the Options dialog without the
mousewheel?

--
Guillaume
http://www.postgresql.fr
http://dalibo.com

From: Guillaume Lelarge

> On Wed, 12 Oct 2011 14:19:53 -0400, "Bob McConnell" <rvm(at)CBORD(dot)com>
wrote:
>> From: Fernando Hevia
>>
>>> You can use Control key + mouse scroll wheel for instant resizing.
>>> For a permanent setup take a look in the File->Options menu.
>>
>> That makes it a little difficult for me. The Logitech Marble Mouse
>> doesn't have a scroll wheel.
>>
>
> You do understand that you can set it in the Options dialog without
the
> mousewheel?

Yes, but the ability to change it on the fly is much more useful that a
static setting.

Bob McConnell

On Wed, 2011-10-12 at 14:56 -0400, Bob McConnell wrote:
> From: Guillaume Lelarge
>
> > On Wed, 12 Oct 2011 14:19:53 -0400, "Bob McConnell" <rvm(at)CBORD(dot)com>
> wrote:
> >> From: Fernando Hevia
> >>
> >>> You can use Control key + mouse scroll wheel for instant resizing.
> >>> For a permanent setup take a look in the File->Options menu.
> >>
> >> That makes it a little difficult for me. The Logitech Marble Mouse
> >> doesn't have a scroll wheel.
> >>
> >
> > You do understand that you can set it in the Options dialog without
> the
> > mousewheel?
>
> Yes, but the ability to change it on the fly is much more useful that a
> static setting.
>

Sure. If you know a better UI, we can probably make that happen. Now
that I think of it, Ctrl-+ and Ctrl-- would be great candidate. Would
that be better for you?

--
Guillaume
http://blog.guillaume.lelarge.info
http://www.dalibo.com

From: Guillaume Lelarge

> On Wed, 2011-10-12 at 14:56 -0400, Bob McConnell wrote:
>> From: Guillaume Lelarge
>>
>> > On Wed, 12 Oct 2011 14:19:53 -0400, "Bob McConnell" <rvm(at)CBORD(dot)com>
>> wrote:
>> >> From: Fernando Hevia
>> >>
>> >>> You can use Control key + mouse scroll wheel for instant
resizing.
>> >>> For a permanent setup take a look in the File->Options menu.
>> >>
>> >> That makes it a little difficult for me. The Logitech Marble Mouse
>> >> doesn't have a scroll wheel.
>> >>
>> >
>> > You do understand that you can set it in the Options dialog without
>> the
>> > mousewheel?
>>
>> Yes, but the ability to change it on the fly is much more useful that
a
>> static setting.
>>
>
> Sure. If you know a better UI, we can probably make that happen. Now
> that I think of it, Ctrl-+ and Ctrl-- would be great candidate. Would
> that be better for you?

Absolutely, and more memorable as well, since Firefox already taught me
those keystrokes for that very effect.

Thanks,

Bob McConnell

On Wed, 2011-10-12 at 15:36 -0400, Bob McConnell wrote:
> From: Guillaume Lelarge
>
> > On Wed, 2011-10-12 at 14:56 -0400, Bob McConnell wrote:
> >> From: Guillaume Lelarge
> >>
> >> > On Wed, 12 Oct 2011 14:19:53 -0400, "Bob McConnell" <rvm(at)CBORD(dot)com>
> >> wrote:
> >> >> From: Fernando Hevia
> >> >>
> >> >>> You can use Control key + mouse scroll wheel for instant
> resizing.
> >> >>> For a permanent setup take a look in the File->Options menu.
> >> >>
> >> >> That makes it a little difficult for me. The Logitech Marble Mouse
> >> >> doesn't have a scroll wheel.
> >> >>
> >> >
> >> > You do understand that you can set it in the Options dialog without
> >> the
> >> > mousewheel?
> >>
> >> Yes, but the ability to change it on the fly is much more useful that
> a
> >> static setting.
> >>
> >
> > Sure. If you know a better UI, we can probably make that happen. Now
> > that I think of it, Ctrl-+ and Ctrl-- would be great candidate. Would
> > that be better for you?
>
> Absolutely, and more memorable as well, since Firefox already taught me
> those keystrokes for that very effect.
>

And some editors and terminal too (gnome's terminal for once). I'll see
if it's not already used.

--
Guillaume
http://blog.guillaume.lelarge.info
http://www.dalibo.com

Bob, I was going to suggest you get rid of that weird mouse of yours but it
wont be necessary as Ctrl-+ and Ctrl-- already work as suggested. At least
in v1.14.0 it does.

:)

On Wed, Oct 12, 2011 at 16:30, Guillaume Lelarge <guillaume(at)lelarge(dot)info>wrote:

>
> Sure. If you know a better UI, we can probably make that happen. Now
> that I think of it, Ctrl-+ and Ctrl-- would be great candidate. Would
> that be better for you?
>
>

On Wed, 12 Oct 2011 17:02:59 -0300, Fernando Hevia <fhevia(at)gmail(dot)com>
wrote:
> Bob, I was going to suggest you get rid of that weird mouse of yours but
> it wont be necessary as Ctrl-+ and Ctrl-- already work as
> suggested. At least in v1.14.0 it does.
> :)
>

I don't see it working on Linux. What OS are you on?

--
Guillaume
http://www.postgresql.fr
http://dalibo.com

On Wed, Oct 12, 2011 at 18:02, Guillaume Lelarge <guillaume(at)lelarge(dot)info>wrote:

> On Wed, 12 Oct 2011 17:02:59 -0300, Fernando Hevia <fhevia(at)gmail(dot)com>
> wrote:
> > Bob, I was going to suggest you get rid of that weird mouse of yours but
> > it wont be necessary as Ctrl-+ and Ctrl-- already work as
> > suggested. At least in v1.14.0 it does.
> > :)
> >
>
> I don't see it working on Linux. What OS are you on?
>
>
Windows 7 SP1.

From: Fernando Hevia

> Bob, I was going to suggest you get rid of that weird mouse
> of yours but it wont be necessary as Ctrl-+ and Ctrl-- already
> work as suggested. At least in v1.14.0 it does.
>
> :)

Don't even think about it. The Marble Mouse is the only decent trackball
I have ever found that works well with the left hand. That frees up my
right hand to wield a pencil while I am working. I prefer the track ball
because it doesn't require acres of free space on the desk next to the
keyboard and can even be used sitting on my knee.

Bob McConnell

>>> You can use Control key + mouse scroll wheel for instant resizing.
>>> For a permanent setup take a look in the File->Options menu.
>>
>> That makes it a little difficult for me. The Logitech Marble Mouse
>> doesn't have a scroll wheel.
>
> You do understand that you can set it in the Options dialog without the
> mousewheel?

Options (or Preferences) > Query Tool (tab) > Font setting has a bug rendering it useless. In pgAdmin 1.14.0 setting a bigger font does indeed cause the fonts to get bigger, but any table of data generated for display in the "Output Pane" of a SQL Query window fails to grow its row size vertically. So the larger font is clipped and unreadable.

Strangely, the Control+Mouse-ball-down works in the output pane! Both the font *and* the row height increase. Thanks for the tip on that mouse trick -- it is a workaround for this fixed-row-height bug. This makes demonstrating Postgres to an audience much easier.

Screen shot:
http://www.gridsgonewild.com/postgres/pgadmin_font_size_bug.png

I reported this bug in another thread (subject below). I just updated that thread with the above link to a screenshot.
Subject: Re: [pgadmin-support] Re: Bug - Rows in Query Output pane fail to grow in height when font size preference size is larger

--Basil

Thank you, it's useful! And I do not noticed that changing the font on
query tool affects to the sql pane.

2011/10/12 Fernando Hevia <fhevia(at)gmail(dot)com>:
> Hi.
> You can use Control key + mouse scroll wheel for instant resizing.
> For a permanent setup take a look in the File->Options menu.
> Regards,
> Fernando.
>
> On Wed, Oct 12, 2011 at 08:10, Aleksey Chirkin <a4irkin(at)gmail(dot)com> wrote:
>>
>> Hello!
>>
>> Tell me please, how can I change font in SQL pane window?
>>
>> --
>> Regards,
>> Aleksey
>>
>> --
>> Sent via pgadmin-support mailing list (pgadmin-support(at)postgresql(dot)org)
>> To make changes to your subscription:
>> http://www.postgresql.org/mailpref/pgadmin-support
>
>

On Wed, 2011-10-12 at 23:21 -0700, Basil Bourque wrote:
> >>> You can use Control key + mouse scroll wheel for instant resizing.
> >>> For a permanent setup take a look in the File->Options menu.
> >>
> >> That makes it a little difficult for me. The Logitech Marble Mouse
> >> doesn't have a scroll wheel.
> >
> > You do understand that you can set it in the Options dialog without the
> > mousewheel?
>
> Options (or Preferences) > Query Tool (tab) > Font setting has a bug rendering it useless. In pgAdmin 1.14.0 setting a bigger font does indeed cause the fonts to get bigger, but any table of data generated for display in the "Output Pane" of a SQL Query window fails to grow its row size vertically. So the larger font is clipped and unreadable.
>
> Strangely, the Control+Mouse-ball-down works in the output pane! Both the font *and* the row height increase. Thanks for the tip on that mouse trick -- it is a workaround for this fixed-row-height bug. This makes demonstrating Postgres to an audience much easier.
>
> Screen shot:
> http://www.gridsgonewild.com/postgres/pgadmin_font_size_bug.png
>
> I reported this bug in another thread (subject below). I just updated that thread with the above link to a screenshot.
> Subject: Re: [pgadmin-support] Re: Bug - Rows in Query Output pane fail to grow in height when font size preference size is larger
>

Oops, right. Now fixed. Thanks :)

--
Guillaume
http://blog.guillaume.lelarge.info
http://www.dalibo.com