From 758043c4275498c94eeed26213536052349dd449 Mon Sep 17 00:00:00 2001
From: Tor Andersson <tor@ccxvii.net>
Date: Sat, 1 Jul 2023 15:02:17 +0200
Subject: 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.
---
 public/images/gui_arrow_down.svg       | 3 +++
 public/images/gui_arrow_left.svg       | 3 +++
 public/images/gui_arrow_right.svg      | 3 +++
 public/images/gui_arrow_right_stop.svg | 3 +++
 public/images/gui_arrow_up.svg         | 3 +++
 public/images/gui_chevron_left.svg     | 3 +++
 public/images/gui_chevron_right.svg    | 3 +++
 public/images/gui_play.svg             | 3 +++
 public/images/gui_stop.svg             | 3 +++
 9 files changed, 27 insertions(+)
 create mode 100644 public/images/gui_arrow_down.svg
 create mode 100644 public/images/gui_arrow_left.svg
 create mode 100644 public/images/gui_arrow_right.svg
 create mode 100644 public/images/gui_arrow_right_stop.svg
 create mode 100644 public/images/gui_arrow_up.svg
 create mode 100644 public/images/gui_chevron_left.svg
 create mode 100644 public/images/gui_chevron_right.svg
 create mode 100644 public/images/gui_play.svg
 create mode 100644 public/images/gui_stop.svg

(limited to 'public/images')

diff --git a/public/images/gui_arrow_down.svg b/public/images/gui_arrow_down.svg
new file mode 100644
index 0000000..b02c8ac
--- /dev/null
+++ b/public/images/gui_arrow_down.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 2 8 L 8 14 L 14 8 M 8 2 L 8 14" />
+</svg>
diff --git a/public/images/gui_arrow_left.svg b/public/images/gui_arrow_left.svg
new file mode 100644
index 0000000..cf11f54
--- /dev/null
+++ b/public/images/gui_arrow_left.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 8 14 L 2 8 L 8 2 M 2 8 L 14 8" />
+</svg>
diff --git a/public/images/gui_arrow_right.svg b/public/images/gui_arrow_right.svg
new file mode 100644
index 0000000..011f314
--- /dev/null
+++ b/public/images/gui_arrow_right.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 8 14 L 14 8 L 8 2 M 2 8 L 14 8" />
+</svg>
diff --git a/public/images/gui_arrow_right_stop.svg b/public/images/gui_arrow_right_stop.svg
new file mode 100644
index 0000000..c97fe76
--- /dev/null
+++ b/public/images/gui_arrow_right_stop.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 8,14 14,8 8,2 M 4,8 14,8 M 15,1 15,15" />
+</svg>
diff --git a/public/images/gui_arrow_up.svg b/public/images/gui_arrow_up.svg
new file mode 100644
index 0000000..8e50d19
--- /dev/null
+++ b/public/images/gui_arrow_up.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 2 8 L 8 2 L 14 8 M 8 2 L 8 14" />
+</svg>
diff --git a/public/images/gui_chevron_left.svg b/public/images/gui_chevron_left.svg
new file mode 100644
index 0000000..512f417
--- /dev/null
+++ b/public/images/gui_chevron_left.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 10 14 L 4 8 L 10 2" />
+</svg>
diff --git a/public/images/gui_chevron_right.svg b/public/images/gui_chevron_right.svg
new file mode 100644
index 0000000..3a5bddc
--- /dev/null
+++ b/public/images/gui_chevron_right.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 6 14 L 12 8 L 6 2" />
+</svg>
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>
diff --git a/public/images/gui_stop.svg b/public/images/gui_stop.svg
new file mode 100644
index 0000000..648de6e
--- /dev/null
+++ b/public/images/gui_stop.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 5,2 v 12 M 11,2 v 12"/>
+</svg>
-- 
cgit v1.2.3