Re: [PATCH] make downloads.dpi use http_user_agent from dillorc

Rodrigo Arias <[email protected]> Tue, 10 Dec 2024 19:59:10 +0100
Newsgroups gmane.comp.web.dillo.devel
Message-ID <[email protected]>
Hi,

On Thu, Nov 28, 2024 at 07:02:01PM +0100, Rodrigo Arias wrote:
>Hi,
>
>>I wanted to remind about this patch. Is there anything preventing it
>>from going in?
>
>Mostly, lack of time. I wanted to move the prefs logic so it can be 
>used from the dpis, and we don't need to reimplement the parsing. But 
>not sure how hard that would be.

What about this: https://github.com/dillo-browser/dillo/pull/319

Patch: https://github.com/dillo-browser/dillo/pull/319.patch

So we avoid parsing the preferences again. It works fine with UA with 
spaces, even if the %s looks like it won't.

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