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

Re: [pgadmin-support] Feature request - option

From: Miha Radej <miha(dot)radej(at)siix(dot)com>
To: Dave Page <dpage(at)vale-housing(dot)co(dot)uk>
Cc: Andreas Pflug <pgadmin(at)pse-consulting(dot)de>, pgadmin-hackers <pgadmin-hackers(at)postgresql(dot)org>
Subject: Re: [pgadmin-support] Feature request - option
Date: 2006-04-06 07:59:11
Message-ID: (view raw, whole thread or download thread mbox)
Lists: pgadmin-hackers

So... something like this?


Dave Page wrote:
>>> Looks good to me in principle - my only thought is that 
>> --disable-docs 
>>> should probably disable all docs, not just the slony and PG ones. 
>>> Perhaps --disable-external-docs?
>> Agreed. A pgadmin-doc-only-without-pg-and-slony option would 
>> require a different help index file without pg or slony references.
> That's a point - in which case, --disable-docs seems correct, except it
> should disable everything. We aren't going to start maintaining two sets
> of help indexes (damn things are pita already!).

Attachment: pgadmin_005.diff
Description: text/x-patch (3.3 KB)

In response to

pgadmin-hackers by date

Next:From: svnDate: 2006-04-06 13:23:31
Subject: SVN Commit by dpage: r5076 - trunk/pgadmin3
Previous:From: Dave PageDate: 2006-04-06 07:07:27
Subject: Re: [pgadmin-support] Feature request - option to exclude docs

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