From 11bbd361556036dae6e7999cb9f68d0321c942d1 Mon Sep 17 00:00:00 2001
From: Marco Galardini <marco.galardini@twincore.de>
Date: Thu, 14 Sep 2023 11:43:02 +0200
Subject: [PATCH] plot dimensions can be floats

---
 panfeed/plot.py | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/panfeed/plot.py b/panfeed/plot.py
index 670c474..3834ee0 100644
--- a/panfeed/plot.py
+++ b/panfeed/plot.py
@@ -115,14 +115,14 @@ def get_options():
                         help="Spacing for ticks on x axis (default %(default)d)")
 
     parser.add_argument('--height',
-                        type=int,
-                        default=9,
-                        help="Figure height (inches, default %(default)d)")
+                        type=float,
+                        default=9.,
+                        help="Figure height (inches, default %(default).1f)")
 
     parser.add_argument('--width',
-                        type=int,
-                        default=10,
-                        help="Figure width (inches, default %(default)d)")
+                        type=float,
+                        default=10.,
+                        help="Figure width (inches, default %(default).1f)")
 
     parser.add_argument("-v", action='count',
                         default=0,