From 7cdb8749bf23c70fcd2693cd255d4ca7fff4d547 Mon Sep 17 00:00:00 2001
From: Rotzbua <Rotzbua@users.noreply.github.com>
Date: Mon, 23 Jan 2023 00:46:17 +0100
Subject: [PATCH] Migrate: use `@property` decorator

---
 boxes/extents.py | 13 ++++++-------
 1 file changed, 6 insertions(+), 7 deletions(-)

diff --git a/boxes/extents.py b/boxes/extents.py
index 74a38ad..82a5109 100644
--- a/boxes/extents.py
+++ b/boxes/extents.py
@@ -31,14 +31,13 @@ class Extents:
             return Extents(self.xmin,self.ymin,self.xmax,self.ymax)
         return self.__add__(extent)
 
-    def get_width(self):
-        return self.xmax-self.xmin
+    @property
+    def width(self) -> float:
+        return self.xmax - self.xmin
 
-    def get_height(self):
-        return self.ymax-self.ymin
-
-    width = property(get_width)
-    height = property(get_height)
+    @property
+    def height(self) -> float:
+        return self.ymax - self.ymin
 
     def __repr__(self) -> str:
         return f'Extents ({self.xmin},{self.ymin})-({self.xmax},{self.ymax})'