Support user preferences on Windows.

This is done using basically the same methods as on Unix, and just
translating the system calls in save_prefs to a different API.
This commit is contained in:
Simon Tatham
2023-04-23 14:54:29 +01:00
parent 35cd44c563
commit 1fa28340e8
2 changed files with 156 additions and 4 deletions

View File

@ -179,10 +179,10 @@ solving it yourself after seeing the answer, you can just press Undo.
\dt \i\e{Preferences}
\dd Where supported (currently only on Unix), brings up a dialog
allowing you to configure personal preferences about a particular
game. Some of these preferences will be specific to a particular game;
others will be common to all games.
\dd Where supported (currently only on Windows and Unix), brings up a
dialog allowing you to configure personal preferences about a
particular game. Some of these preferences will be specific to a
particular game; others will be common to all games.
\lcont{