From d01fb434ee708dee87229f496d0a78ed1d2186d0 Mon Sep 17 00:00:00 2001
From: Julian Schacher <julian@jsts.xyz>
Date: Sun, 29 Jan 2023 00:25:05 +0100
Subject: [PATCH] Other: Remove unused typedef `PositionAndBoxOverwrite`

---
 src/extension.js | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/src/extension.js b/src/extension.js
index 3b50938..dc2cf22 100644
--- a/src/extension.js
+++ b/src/extension.js
@@ -63,13 +63,6 @@ class Extension {
     /// Methods used on extension enable.                                    ///
     ////////////////////////////////////////////////////////////////////////////
 
-    /**
-     * An object containing a position and box overwrite.
-     * @typedef PositionAndBoxOverwrite
-     * @property {Number} position - The position overwrite.
-     * @property {string} box - The position box overwrite.
-     */
-
     /**
      * Overwrite `Panel._addToPanelBox` with a custom method, which simply calls
      * the original one and handles new items and orders the top bar afterwards.