diff options
author | Rodrigo Arias Mallo <rodarima@gmail.com> | 2024-10-25 18:47:07 +0200 |
---|---|---|
committer | Rodrigo Arias Mallo <rodarima@gmail.com> | 2024-10-28 19:04:33 +0100 |
commit | 27f88f0e81fd66b59e52af7ec2a725d8bfd4351c (patch) | |
tree | 71ad549fd6a8ffb1b202ce95e3f60dcdd49469fd /src/uicmd.hh | |
parent | 6d5b3ee329b61adfa144c4f7f9d60bbe10e04071 (diff) |
Reload the current page on SIGUSR1 signal
Reloads the current page on all windows when the SIGUSR1 is received.
This is useful to update the page when it is being edited.
Fixes: https://github.com/dillo-browser/dillo/issues/255
Diffstat (limited to 'src/uicmd.hh')
-rw-r--r-- | src/uicmd.hh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/uicmd.hh b/src/uicmd.hh index 0a5c8fb5..f75d9a48 100644 --- a/src/uicmd.hh +++ b/src/uicmd.hh @@ -37,6 +37,7 @@ void a_UIcmd_zoom_in(void *vbw); void a_UIcmd_zoom_out(void *vbw); void a_UIcmd_zoom_reset(void *vbw); void a_UIcmd_reload(void *vbw); +void a_UIcmd_reload_all_active(); void a_UIcmd_repush(void *vbw); void a_UIcmd_redirection0(void *vbw, const DilloUrl *url); void a_UIcmd_save(void *vbw); |