> To summarize: If the document is taggged with a title, use it
> (perhaps a new option --use-doc-title); if not do something
> reasonable like use the db-name or the url. I would much prefer if
> plucker displayed the document title (if available, or "(none)" if
> one is not available) in the db-manager.
The problem with that is that titles in pages are often vague and
generic to the point of uselessness, whereas the filename is something
that the user has control over and can make as specific as necessary.
I think that the current behavior is probably a good default, but that
adding a preferences switch to the parser to use the title instead,
falling back to the filename, is an OK idea.
Note too that the user can set the exact dbname with the "--db-name",
so there's no real need to suffer through Plucker's use of the filename
if you really prefer something else.
Bill
