better workaround for GNOME Terminal

From [ShellTile](emasab/shelltile#118). Closes #1.
nicholascapo · Feb 6, 2021 · a82e293 · a82e293
1 parent c5d786b
commit a82e293
Showing 1 changed file with 1 addition and 5 deletions.
diff --git a/extension.js b/extension.js
@@ -157,11 +157,7 @@ function move_then_resize_frame(userOp, x, y , width, height) {
     this.move_resize_frame(userOp, x, y, width, height);
 
     // Workaround for GNOME Terminal 3.38+
-    let newRect = this.get_frame_rect();
-    let extraWidth = width - newRect.width >= 1 ? 1 : 0;
-    let extraHeight = height - newRect.height >= 1 ? 1 : 0;
-    if (extraWidth || extraHeight)
-        this.move_resize_frame(userOp, x, y, width + extraWidth, height + extraHeight);
+    this.move_frame(userOp, x, y);
 }
 
 function addTimeout(i, callback) {