Hi,
On Mon, Sep 02, 2024 at 04:04:30PM +0200, a...@dismail.de 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@mailman3.com
To unsubscribe send an email to dillo-dev-le...@mailman3.com
