diff options
| author | Simon Tatham <anakin@pobox.com> | 2023-04-23 14:54:29 +0100 |
|---|---|---|
| committer | Simon Tatham <anakin@pobox.com> | 2023-04-23 14:54:29 +0100 |
| commit | 1fa28340e8e8d8459456469c72f7156ccf1493f1 (patch) | |
| tree | 0e1b143155ae2a506bd4e3f44cb9001a114c063b /puzzles.but | |
| parent | 35cd44c563ec58e00a89109ef1f5450b08a3faa6 (diff) | |
| download | puzzles-1fa28340e8e8d8459456469c72f7156ccf1493f1.zip puzzles-1fa28340e8e8d8459456469c72f7156ccf1493f1.tar.gz puzzles-1fa28340e8e8d8459456469c72f7156ccf1493f1.tar.bz2 puzzles-1fa28340e8e8d8459456469c72f7156ccf1493f1.tar.xz | |
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.
Diffstat (limited to 'puzzles.but')
| -rw-r--r-- | puzzles.but | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/puzzles.but b/puzzles.but index 1d87ffb..a1bc600 100644 --- a/puzzles.but +++ b/puzzles.but @@ -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{ |