Hi,

On Fri, 30 Aug 2024 10:58:57 +0200
Diego <darkspirit5...@gmail.com> 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@mailman3.com
To unsubscribe send an email to dillo-dev-le...@mailman3.com

Reply via email to