From 7b10bf2711f5307359b0a2c9434eb723195e9c79 Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Wed, 31 Mar 2021 16:15:45 +0100
Subject: [PATCH] script: Implement messages.SetTableSize

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---
 templates/macros.tera |  3 ++-
 templates/script.ts   | 12 ++++++++++++
 2 files changed, 14 insertions(+), 1 deletion(-)

diff --git a/templates/macros.tera b/templates/macros.tera
index 20f3bef1..2b51d15f 100644
--- a/templates/macros.tera
+++ b/templates/macros.tera
@@ -72,7 +72,8 @@ Hi {{nick | escape}}
 {% macro space() %}
     <svg xmlns="http://www.w3.org/2000/svg"
          id="space" {{ space_attrs }} >
-      <rect fill="{{ table_colour }}" x="0" y="0" {{ rect_attrs }} />
+      <rect fill="{{ table_colour }}" x="0" y="0"
+	    id="table_rect" {{ rect_attrs }} />
       <g id="pieces_marker"></g>
 {%- for piece in uses %}
       <use id="use{{ piece.id }}" href="#piece{{ piece.id }}"
diff --git a/templates/script.ts b/templates/script.ts
index a826c887..9b89d627 100644
--- a/templates/script.ts
+++ b/templates/script.ts
@@ -944,6 +944,18 @@ function player_info_pane_set(j: PlayersUpdate) {
     .innerHTML = j.new_info_pane;
 }
 
+messages.SetTableSize = <MessageHandler>function
+([x, y]: [number, number]) {
+  function set_attrs(elem: Element, l: [string,string][]) {
+    for (let a of l) {
+      elem.setAttributeNS(null,a[0],a[1]);
+    }
+  }
+  let rect = document.getElementById('table_rect')!;
+  set_attrs(space, wasm_bindgen.space_table_attrs(x, y));
+  set_attrs(rect,  wasm_bindgen.space_table_attrs(x, y));
+}
+
 messages.SetLinks = <MessageHandler>function
 (msg: string) {
   if (msg.length != 0 && layout == 'Portrait') {
-- 
2.30.2