Re: [WIP PATCH] Use SIGUSR1 to reload the page

Rodrigo Arias <[email protected]> Mon, 2 Sep 2024 21:25:12 +0200
Newsgroups gmane.comp.web.dillo.devel
Message-ID <[email protected]>
Hi,

On Mon, Sep 02, 2024 at 04:04:30PM +0200, [email protected] wrote:
>Hi Rodrigo,
>
>I find your recent idea[0] to refresh the page on local file changes
>interesting, and it could be a quite useful feature.
>
>[0] https://github.com/dillo-browser/dillo/issues/255
>
>I imagine it can be triggered with a tool like entr[1]:
>
>ls /tmp/test.html | entr 'pkill -SIGUSR1 dillo'
>
>[1] http://eradman.com/entrproject/

Yeah, that was the idea.

>So far, I have a working signal handler which will act upon receipt of
>a SIGUSR1 signal. It just prints the signal # to the console right now.
>I am trying to make it perform an 'a_UIcmd_reload', but haven't been
>successful yet:
>
>dillo.cc:389:19: error: use of undeclared identifier 'vbw'
>  a_UIcmd_reload(*vbw);
>                  ^
>1 error generated

You need to find a pointer to BrowserWindow and pass it to 
a_UIcmd_reload(). Check a_Bw_num() and a_Bw_get() in src/bw.c.

We should reload the current page on all windows.

I'm not sure if we can do this from the context of a signal, we probably 
need to register a timeout in FLTK and handle it from there.

Probably not a very easy issue. I should start labeling the ones that 
are easy.

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