diff options
| author | Tor Andersson <tor@ccxvii.net> | 2023-07-01 15:02:17 +0200 |
|---|---|---|
| committer | Tor Andersson <tor@ccxvii.net> | 2023-07-01 15:02:17 +0200 |
| commit | 758043c4275498c94eeed26213536052349dd449 (patch) | |
| tree | 7f0364552138b2fd148b4140f0faeb10b2681612 /public/images/gui_play.svg | |
| parent | a07c8e521a06ec7228edba8ca65c6ec9b81a1f7e (diff) | |
| download | server-758043c4275498c94eeed26213536052349dd449.tar.gz | |
Add "snapshot" replay view during play.
Snapshots store game state without undo and only log length.
Combined with the final game state's log we can recreate the view
from any snapshot quickly.
Move replay code into separate script file, loaded only when used.
Prefix system "setup", "resign", and "restore" actions with a period.
Diffstat (limited to 'public/images/gui_play.svg')
| -rw-r--r-- | public/images/gui_play.svg | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/public/images/gui_play.svg b/public/images/gui_play.svg new file mode 100644 index 0000000..20d917b --- /dev/null +++ b/public/images/gui_play.svg @@ -0,0 +1,3 @@ +<svg xmlns="http://www.w3.org/2000/svg" width="16" height="16"> +<path stroke-width="2" stroke="#000" fill="none" d="M 12,8 l -10,6 0,-12z"/> +</svg> |