Re: Firefox bookmarks plugin

<[email protected]> Fri, 30 Aug 2024 15:23:33 +0200
Newsgroups gmane.comp.web.dillo.devel
Message-ID <[email protected]>
Hi,

On Fri, 30 Aug 2024 10:58:57 +0200
Diego <[email protected]> wrote:

> > It doesn't require describing the available dpis in the file. Not
> > sure what would be the advantage of doing so.  
> 
> For reference. To explain to the user how to switch between a built-in
> DPI and another DPI for the same service.

I think this part in the docs[0] covers it:

"Plugins are searched in the ~/.dillo/dpi/ directory first, and then in
the system directory if not found. The dpi_dir option sets the system
dpi directory and must be specified once."

[0] https://dillo-browser.github.io/user_help.html#dpidrc

It seems reasonable to me, but if you have a better way of wording it,
that might be the best place to start.

Regards,
Alex
_______________________________________________
Dillo-dev mailing list -- dillo-dev-lx9mn2B4QYRWk0Htik3J/[email protected]
To unsubscribe send an email to dillo-dev-leave-lx9mn2B4QYRWk0Htik3J/[email protected]