From 1f1e10ad94df2a30bb33273515c0aa3ef2162c9b Mon Sep 17 00:00:00 2001
From: ndwarshuis <ndwar@yavin4.ch>
Date: Tue, 16 Aug 2022 23:53:45 -0400
Subject: [PATCH] ENH get rid of dead config bits

---
 config/config.dhall | 9 ++-------
 1 file changed, 2 insertions(+), 7 deletions(-)

diff --git a/config/config.dhall b/config/config.dhall
index 933d4c9..0b9752d 100644
--- a/config/config.dhall
+++ b/config/config.dhall
@@ -152,13 +152,8 @@ let Font =
       }
 
 let PlotGeometry =
-      { Type =
-          { spacing : Natural
-          , height : Natural
-          , seconds : Natural
-          , ticks_x : Natural
-          }
-      , default = { seconds = 90, ticks_x = 9, height = 56, spacing = 20 }
+      { Type = { seconds : Natural, ticks_x : Natural }
+      , default = { seconds = 90, ticks_x = 9 }
       }
 
 let TableGeometry =