Skip site navigation (1) Skip section navigation (2)

Re: Same sub-menu name for disconnectDatabaseFactory and disconnectServerFactory.

From: Sachin Srivastava <sachin(dot)srivastava(at)enterprisedb(dot)com>
To: Dave Page <dpage(at)pgadmin(dot)org>
Cc: pgadmin-hackers <pgadmin-hackers(at)postgresql(dot)org>
Subject: Re: Same sub-menu name for disconnectDatabaseFactory and disconnectServerFactory.
Date: 2012-08-28 12:51:40
Message-ID: CA+RD+kiZvT3KhnyG=PbDZuc2tFx1GtYOpW0Pbvm9LM7jHUP-nQ@mail.gmail.com (view raw or flat)
Thread:
Lists: pgadmin-hackers
Yes. See attached..

On Tue, Aug 28, 2012 at 6:09 PM, Dave Page <dpage(at)pgadmin(dot)org> wrote:

> Hi
>
> Do both options ever show up on the same menu together?
>
> On Tue, Aug 28, 2012 at 1:22 PM, Sachin Srivastava
> <sachin(dot)srivastava(at)enterprisedb(dot)com> wrote:
> > Hi all,
> >
> > Sub-Menu name "Disconnect" is same for disconnectDatabaseFactory and
> > disconnectServerFactory.
> >
> > Attached patch fixes the issue. I have kept the shortcut key same because
> > both Menu options can never be enable at the same time.
> >
> > --
> > Regards,
> > Sachin Srivastava
> > EnterpriseDB, India
> >
> >
> > --
> > Sent via pgadmin-hackers mailing list (pgadmin-hackers(at)postgresql(dot)org)
> > To make changes to your subscription:
> > http://www.postgresql.org/mailpref/pgadmin-hackers
> >
>
>
>
> --
> Dave Page
> Blog: http://pgsnake.blogspot.com
> Twitter: @pgsnake
>
> EnterpriseDB UK: http://www.enterprisedb.com
> The Enterprise PostgreSQL Company
>



-- 
Regards,
Sachin Srivastava
EnterpriseDB, India

Attachment: Screen shot 2012-08-28 at 6.20.59 PM.png
Description: image/png (154.9 KB)

In response to

Responses

pgadmin-hackers by date

Next:From: Dave PageDate: 2012-08-28 14:44:19
Subject: pgAdmin III commit: Clarify disconnect menu option labels.
Previous:From: Dave PageDate: 2012-08-28 12:39:49
Subject: Re: Same sub-menu name for disconnectDatabaseFactory and disconnectServerFactory.

Privacy Policy | About PostgreSQL
Copyright © 1996-2014 The PostgreSQL Global Development Group