Bjørn Erik Pedersen 4a366fcfee Prevent stale content in Fast Render Mode ...

We do that by re-render visited pages that is not already in the stack. This may potentially do some double work, but that small penalty should be well worth it.

Fixes #5281

2018-10-17 10:15:22 +02:00

..

collections

…

herrors

commands: Show server error info in browser

2018-10-16 22:10:56 +02:00

hugio

…

loggers

commands: Show server error info in browser

2018-10-16 22:10:56 +02:00

maps

…

math

…

types

Prevent stale content in Fast Render Mode

2018-10-17 10:15:22 +02:00