| 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: | 4434CA4F.40704@siix.com |
| Views: | Whole Thread | Raw Message | Download mbox | Resend email |
| Thread: | |
| Lists: | pgadmin-hackers |
Hi!
So... something like this?
Regards,
Miha
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 | Content-Type | Size |
|---|---|---|
| pgadmin_005.diff | text/x-patch | 3.3 KB |
| From | Date | Subject | |
|---|---|---|---|
| Next Message | svn | 2006-04-06 13:23:31 | SVN Commit by dpage: r5076 - trunk/pgadmin3 |
| Previous Message | Dave Page | 2006-04-06 07:07:27 | Re: [pgadmin-support] Feature request - option to exclude docs |