From da38ab0f823a68d37446cb1b3ea91ca93e36a93b Mon Sep 17 00:00:00 2001
From: Fen Dweller <chemicalcrux@gmail.com>
Date: Fri, 5 Nov 2021 22:28:10 -0400
Subject: [PATCH] Add sizes for some of Plat's characters

---
 presets/characters.js | 16 ++++++++++++++++
 1 file changed, 16 insertions(+)

diff --git a/presets/characters.js b/presets/characters.js
index d3be4a05..6ae531dd 100644
--- a/presets/characters.js
+++ b/presets/characters.js
@@ -50415,6 +50415,10 @@ characterMakers.push(() => makeCharacter(
         },
     },
     [
+        {
+            name: "Compressed",
+            height: math.unit(7, "feet")
+        },
         {
             name: "Normal",
             height: math.unit(12, "feet"),
@@ -50471,6 +50475,10 @@ characterMakers.push(() => makeCharacter(
         },
     },
     [
+        {
+            name: "Compressed",
+            height: math.unit(10, "feet")
+        },
         {
             name: "Normal",
             height: math.unit(25, "feet"),
@@ -50609,6 +50617,10 @@ characterMakers.push(() => makeCharacter(
         },
     },
     [
+        {
+            name: "Compressed",
+            height: math.unit(8, "feet")
+        },
         {
             name: "Normal",
             height: math.unit(14, "feet"),
@@ -50632,6 +50644,10 @@ characterMakers.push(() => makeCharacter(
         },
     },
     [
+        {
+            name: "Compressed",
+            height: math.unit(9 + 6/12, "feet")
+        },
         {
             name: "Normal",
             height: math.unit(17, "feet"),