Re: Not a nit-pick problem - Mailing list pgadmin-support

From Hiroshi Saito
Subject Re: Not a nit-pick problem
Date
Msg-id 02dd01c86315$51889df0$0301a8c0@HP22720319231
Whole thread Raw
In response to Not a nit-pick problem  (johnf <jfabiani@yolo.com>)
List pgadmin-support
Hi johnf-san.

From: "johnf" <jfabiani@yolo.com>

> The date of the file is jan 7 but the "about" reports jan 8.  I didn't 

Ahh,  It seems that I was doing build work on the timing which changes the date. 
and there was an inaccurate machine of time..sorry....:-(

> understand the first part of your email.  Isn't there anyway to increase the 
> size of the header?  I have seen something like this in the past and it had 
> something to do with gnome.  I can recall that it had something to do with 
> running the gnome manager to fix it.  But that was back in 10.1 - if my 
> memory serves me.  I wonder if this has anything to do with my 1600x1200 
> monitor?  I'm also using the Nvidia video driver.  

If possible, please send me the screen shot whose problem is visible?
I want to know the essence of the problem. 
Thanks!

Regards,
Hiroshi Saito


pgadmin-support by date:

Previous
From: johnf
Date:
Subject: Re: Not a nit-pick problem
Next
From: Mike Blackwell
Date:
Subject: Feature request - Decode relation in Server Status / Lock display