From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Tue, 8 Dec 2020 15:31:43 +0000 (+0000)
Subject: increase portal size
X-Git-Tag: otter-0.2.0~208
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=a0e8c306cdc827ff8e1d34adf8d91cb46b6abd0e;p=otter.git

increase portal size

Suggested-by: Simon Tatham <anakin@pobox.com>
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---

diff --git a/library/edited.toml b/library/edited.toml
index 6018df06..01e98954 100644
--- a/library/edited.toml
+++ b/library/edited.toml
@@ -16,7 +16,7 @@ chess-board	Chess_board_blank	the chessboard
 
 [group.chess-misc]
 size = [32]
-scale = 0.30
+scale = 0.38
 centre = [16,16]
 item_prefix = "chess-"
 outline = "Circle"