> -----Original Message----- > From: Andreas Pflug [mailto:[EMAIL PROTECTED] > Sent: 05 April 2006 22:54 > To: Dave Page > Cc: Miha Radej; pgadmin-hackers > Subject: Re: [pgadmin-hackers] [pgadmin-support] Feature > request - option to exclude docs > > > Hi Miha, > > > > 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!). Regards, Dave ---------------------------(end of broadcast)--------------------------- TIP 9: In versions below 8.0, the planner will ignore your desire to choose an index scan if your joining column's datatypes do not match