On 9/10/11 3:43 PM, Joshua Berkus wrote:
>
>> Or simply use Ctrl-mousewheel to increase or decrease font size
>> temporary. Still 1.14 though.
>
> Pk, will try the 1.14.rc1.
Ok, this is still not usable. While the text in the grid gets bigger,
the row height and column size is still set for 10-
The least I can say is that it *really* lacks informations.
On Wed, 2011-09-14 at 16:15 +0200, pasman pasmański wrote:
> 1. Error when deleting parent table.
>
Great, which error? and which steps brought you to that error?
> 2. Options of foreign table can't be set.
>
Works for me. Why can't
1. Error when deleting parent table.
2. Options of foreign table can't be set.
--
pasman
--
Sent via pgadmin-support mailing list (pgadmin-support@postgresql.org)
To make changes to your subscription:
http://www.postgresql.org/mailpref/pgadmin-support
