> That might work. But perhaps make it toggleable,

Actually I was thinking of

rendertimer = n

in the config file.
We already have webtimer and mailtimer.
So rendertimer = 60 would rebuild and notify 60 seconds after a change,
and potentially every 60 seconds if the web page is constantly changing.
Set rendertimer = 0 for no notifications unless you ask for it.
Anyways something like that.
Trying to keep the power in the users hands.

Karl Dahlke
_______________________________________________
Edbrowse-dev mailing list
[email protected]
http://lists.the-brannons.com/mailman/listinfo/edbrowse-dev

Reply via email to