7.3: session properties search

This commit is contained in:
Alexandre Prokoudine 2023-03-04 00:14:16 +01:00
parent 4f2363e543
commit 60d141ca70

View File

@ -12,6 +12,14 @@
session file.
</p>
<p>
Settings can be searched for using the input box in the lower left corner
of the Preferences window. Typing in a keyword and pressing <kbd>Enter</kbd>
will open the Preferences pages where the first occurence of the keyword is
available, the setting will be highlighted. Pressing <kbd>Enter</kbd> again
will highlight the next occurence (where available).
</p>
<p>
Preferences are grouped by category:
</p>