From 629497902be3ed0426848332c68a9a9fdfda3bbc Mon Sep 17 00:00:00 2001 From: DMRobertson Date: Mon, 9 Jan 2023 18:36:05 +0000 Subject: [PATCH] deploy: 3479599387164aca2613e88d1697191b087e55bc --- develop/print.html | 70 ++++++++++++++++--- develop/searchindex.js | 2 +- develop/searchindex.json | 2 +- .../configuration/config_documentation.html | 37 ++++++++-- develop/workers.html | 33 +++++++-- 5 files changed, 122 insertions(+), 22 deletions(-) diff --git a/develop/print.html b/develop/print.html index a1e7e7002d..7f1d209324 100644 --- a/develop/print.html +++ b/develop/print.html @@ -5644,20 +5644,20 @@ state events are shared with users:

To change the default behavior, use the following sub-options: