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]