{% 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 }}"
.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') {