From 5c0def1850b2c09af300f09cd48f714f2505d217 Mon Sep 17 00:00:00 2001
From: Simon Tatham <anakin@pobox.com>
Date: Sun, 23 Apr 2023 14:16:17 +0100
Subject: [PATCH] Document the new Net preference.

Naturally, I only remembered to do this after 'git push'.
---
 puzzles.but | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/puzzles.but b/puzzles.but
index 4e31bb2..1d87ffb 100644
--- a/puzzles.but
+++ b/puzzles.but
@@ -556,6 +556,16 @@ feature and risk having ambiguous puzzles. (Also, finding \e{all}
 the possible solutions can be an additional challenge for an
 advanced player.)
 
+\H{net-prefs} \I{preferences, for Net}Net user preferences
+
+On platforms that support user preferences, the \q{Preferences} option
+on the \q{Game} menu will let you configure when loops are highlighted
+as errors. By default, they're always highlighted; by changing this
+option, you can ask for a loop to be highlighted only if every tile
+forming part of the loop is locked. This avoids the loop highlighting
+acting as a spoiler for available deductions about squares you haven't
+even looked at yet.
+
 
 \C{cube} \i{Cube}