24 Apr
2019
24 Apr
'19
5:05 p.m.
On Wed, Apr 24, 2019 at 6:47 PM Detlef Riekenberg <wine.dev(a)web.de> wrote:
The default timeout for the header-filter is not always 1000 (Mark the other values as brocken() seems resonable)
I don't think it's reasonable. It probably depends on some system timer setting (or theme parameter if those exist). Just silencing failures is not useful in my opinion.